Model Checking and Artificial Intelligence [electronic resource] 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.
| Uniform Title: | Lecture Notes in Artificial Intelligence,
2945-9141 ; 4428 |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Lecture Notes in Artificial Intelligence,
4428 |
| Subjects: | |
| Online Access: | |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.