Automated Deduction - CADE-17 | David McAllester | Taschenbuch | xiv | Englisch
Ø 0.0
0 Bewertungen
51,95 €
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. fteen countries. Each submission was reviewed by at least three reviewers.
Jetzt bei Ebay:
-
Buchtitel:Automated Deduction - CADE-17
-
Autor:David McAllester
-
Sprache:Englisch
-
Erscheinungsjahr:2000
-
Anzahl der Seiten:540
-
Marke:Springer Berlin, Springer Berlin Heidelberg
-
Hersteller:Springer Berlin, Springer Berlin Heidelberg
-
Verlag:Springer Berlin, Springer Berlin Heidelberg
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:2000
-
Titelzusatz:17th International Conference on Automated Deduction Pittsburgh,
-
Schlagworte:Informatik, Mathematik: Logik, EDV, Intelligenz, Künstliche Intel
-
Redaktion:David McAllester
-
Herstellungsland und -region:Deutschland
-
ISBN:3540676643
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 05. February 2025 und 07. February 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
