Model Checking and Artificial Intelligence
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
CHF 82.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Lomuscio, Alessio (Hrsg.)
- ISBN: 978-3-540-74128-2
- EAN: 9783540741282
- Produktnummer: 33313180
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 185 S.
- Plattform: PDF
- Masse: 3'252 KB
- Auflage: 2007
- Abbildungen: Bibliographie
- Reihenbandnummer: 4428
10 weitere Werke von Stefan (Hrsg.) Edelkamp:
Bewertungen
Anmelden