Spar
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.
- Undertittel
- 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
- Redaktør
- Doron A. Peled, Michael Wooldridge
- Opplag
- 2009 ed.
- ISBN
- 9783642004308
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 27.2.2009
- Antall sider
- 189
