Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by Michael Wooldridge (Editor), Doron A . Peled (Editor)

Synopsis

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.

$73.60

Quantity

10 in stock

More Information

Format: Paperback
Pages: 189
Publisher: Springer
Published: 27 Feb 2009

ISBN 10: 364200430X
ISBN 13: 9783642004308