Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Edición de la obra Model Checking and Artificial Intelligence
| Autor | Doron A. Peled, Michael Wooldridge |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642004315 |
| Número de Cutter | P381m |