Model Checking and Artificial Intelligence, Fachbücher von Michael Wooldridge, Doron A. Peled
53,49 €
Das Buch "Model Checking and Artificial Intelligence" bietet eine umfassende Sammlung von Forschungsergebnissen, die aus dem 5. Workshop zu diesem Thema hervorgegangen sind. Dieser Workshop fand 2008 in Patras, Griechenland, im Rahmen der 18. europäischen Konferenz für Künstliche Intelligenz (ECAI) statt. Die in diesem Band enthaltenen neun überarbeiteten Beiträge sowie zwei eingeladene Vorträge wurden sorgfältig ausgewählt und durchliefen mehrere Überprüfungsrunden, um sicherzustellen, dass sie den höchsten wissenschaftlichen Standards entsprechen. Die behandelten Themen umfassen eine Vielzahl von Ideen, Experimenten und Werkzeugen, die sowohl das Modellchecking als auch die Künstliche Intelligenz betreffen. Dieses Buch richtet sich an Forscher, Praktiker und Studierende, die sich für die Schnittstellen zwischen diesen beiden dynamischen Bereichen interessieren.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
