Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre
2010, ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
hive.co.uk No. 9783642206740. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2010, ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
Springer.com new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00) Details... |
2011, ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
Orellfuessli.ch Nr. 30582955. Frais d'envoiLieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.64) Details... |
2010, ISBN: 9783642206740
Model Checking and Artificial Intelligence - 6th International Workshop MoChArt 2010 Atlanta GA USA July 11 2010 Revised Selected and Invited Papers: ab 63.99 € eBooks > Fachthemen & Wiss… Plus…
eBook.de Frais d'envoiin stock, , , DE. (EUR 0.00) Details... |
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre
2010, ISBN: 9783642206740
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Vienna
hive.co.uk No. 9783642206740. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre
2010, ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
2010, ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
2011
ISBN: 9783642206740
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as… Plus…
2010, ISBN: 9783642206740
Model Checking and Artificial Intelligence - 6th International Workshop MoChArt 2010 Atlanta GA USA July 11 2010 Revised Selected and Invited Papers: ab 63.99 € eBooks > Fachthemen & Wiss… Plus…
Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers - nouveau livre
2010, ISBN: 9783642206740
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Vienna
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Model Checking and Artificial Intelligence
EAN (ISBN-13): 9783642206740
Date de parution: 2010
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2015-12-16T23:06:55+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-10-10T07:09:10+02:00 (Paris)
ISBN/EAN: 9783642206740
ISBN - Autres types d'écriture:
978-3-642-20674-0
Autres types d'écriture et termes associés:
Auteur du livre: springer, van der
Titre du livre: artificial intelligence, atlanta
Données de l'éditeur
Auteur: Ron van der Meyden; Jan-Georg Smaus
Titre: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Editeur: Springer; Springer Berlin
131 Pages
Date de parution: 2011-04-21
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 131 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; computer aided deduction; deterministic automata; formal methods; logic programming; temporal logic; theorem proving; verification; C; Artificial Intelligence; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; BC
The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.Fast-track conference proceedings State-of-the-art research Up-to-date results
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540741282 Model Checking and Artificial Intelligence (Stefan Edelkamp; Alessio Lomuscio)
- 9783540741282 Model Checking and Artificial Intelligence (Stefan Edelkamp; Alessio Lomuscio)
- 9783642004308 Model Checking and Artificial Intelligence (Peled, Doron A. Wooldridge, Michael)
- 9783540741275 Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and (Stefan Edelkamp)
< pour archiver...