Logic for Programming, Artificial Intelligence, and Reasoning | Davis (u. a.)
51,95 €
Titel: Logic for Programming, Artificial Intelligence, and Reasoning | Zusatz: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | Medium: Taschenbuch | Redaktion: Martin Davis (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xv / 640 S. / 142 farbige Illustr. / 640 p. 142 illus. in color. | Auflage: 1st edition 2015 | Sprache: Englisch | Seiten: 656 | Maße: 235 x 155 x 36 mm | Erschienen: 03.12.2015 | Anbieter: Cellestria.
Jetzt bei Ebay:
-
Buchtitel:Logic for Programming, Artificial Intelligence, and Reasoning
-
Autor:Martin Davis
-
Sprache:Englisch
-
Erscheinungsjahr:2015
-
Anzahl der Seiten:656
-
Marke:Springer Berlin, Springer Berlin Heidelberg
-
Hersteller:Springer Berlin, Springer Berlin Heidelberg
-
Herstellernummer:978-3-662-48898-0
-
Verlag:Springer Berlin, Springer Berlin Heidelberg
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:1st edition 2015
-
Titelzusatz:20th International Conference, LPAR-20 2015, Suva, Fiji, November
-
Schlagworte:Informatik, Compiler und Übersetzer, EDV, Theorie, Software-Entw,
-
Redaktion:Martin Davis
-
Herstellungsland und -region:Deutschland
-
ISBN:3662488981
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 10. January 2025 und 15. January 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