Model Checking and Artificial Intelligence | Doron A. Peled (u. a.) | Englisch
51,95 €
Jetzt bei Ebay:
-
Buchtitel:Model Checking and Artificial Intelligence
-
Autor:Doron A. Peled
-
Sprache:Englisch
-
Erscheinungsjahr:2009
-
Anzahl der Seiten:189
-
Marke:Springer, Springer, Berlin, Springer Berlin Heidelberg
-
Hersteller:Springer, Springer, Berlin, Springer Berlin Heidelberg
-
Herstellernummer:978-3-642-00430-8
-
Verlag:Springer, Springer, Berlin, Springer Berlin Heidelberg
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Titelzusatz:5th International Workshop, MoChArt 2008, Patras, Greece, July 21
-
Schlagworte:abstraction, AI logics, artificial intelligence, automata theory,
-
Redaktion:Doron A. Peled
-
Herstellungsland und -region:Deutschland
-
ISBN:364200430X
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 23. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere