Model checking and artificial intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldridge (eds.)
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. The 9 rev...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | MoChArt 2008. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
©2009.
|
| Series: | Lecture notes in computer science ;
5348. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 M63 2009
|
|---|---|
| QA76.76.V47 M63 2009 | Available |