P. H. Schmitt (u. a.) | Automated Deduction - A Basis for Applications Volume...
Ø 0.0
0 Bewertungen
187,95 €
Titel: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Medium: Taschenbuch | Redaktion: P. H. Schmitt (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xx / 481 S. | Auflage: Softcover reprint of hardcover 1st edition 1998 | Sprache: Englisch | Seiten: 504 | Maße: 235 x 155 x 28 mm | Erschienen: 09.12.2010 | Anbieter: Faboplay.
Jetzt bei Ebay:
-
Buchtitel:Automated Deduction - A Basis for Applications Volume I Foundatio
-
Autor:P. H. Schmitt
-
Sprache:Englisch
-
Erscheinungsjahr:2010
-
Anzahl der Seiten:504
-
Marke:Springer Netherland, Springer Netherlands
-
Hersteller:Springer Netherland, Springer Netherlands
-
Verlag:Springer Netherland, Springer Netherlands
-
Format:Taschenbuch
-
Genre:Importe
-
Ausgabe:Softcover reprint of hardcover 1st edition 1998
-
Schlagworte:Philosophie, Allgemeines, Lexika, Mathematik: Logik, Philosophie:
-
Redaktion:P. H. Schmitt
-
Herstellungsland und -region:Deutschland
-
ISBN:9048150507
-
Standardversand:DHL Paket 2,95 EUR - Lieferung zwischen 02. July 2025 und 03. July 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