Image from Amazon.com
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.
Series: Lecture Notes in Computer Science ; 4428Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: vi, 184 p. : ill., digital ; 24 cmISBN:- 9783540741282 (electronic bk.)
- 9783540741275 (paper)
- Computer systems -- Verification -- Congresses
- Computer software -- Verification -- Congresses
- Artificial intelligence -- Congresses
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Programming Techniques
- Software Engineering
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.