Tallenna
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.
- Alaotsikko
- 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
- Toimittaja
- Doron A. Peled, Michael Wooldridge
- Painos
- 2009 ed.
- ISBN
- 9783642004308
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.2.2009
- Sivumäärä
- 189
