Spara
Model Checking and Artificial Intelligence
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.
- Undertitel
- 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
- Redaktör
- Doron A. Peled, Michael Wooldridge
- Upplaga
- 2009 ed.
- ISBN
- 9783642004308
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2009-02-27
- Sidor
- 189
