Model Checking and Artificial Intelligence / Lecture Notes in Computer Science Bd.4428 (PDF)
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...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2007, 2007, 185 Seiten, Englisch
- Herausgegeben: Stefan Edelkamp, Alessio Lomuscio
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540741283
- ISBN-13: 9783540741282
- Erscheinungsdatum: 28.08.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 3.18 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Model Checking and Artificial Intelligence / Lecture Notes in Computer Science Bd.4428".
Kommentar verfassen