Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

G. Wrightson (u. a.) | Automation of Reasoning | Taschenbuch | Englisch (2012)

Ø 0.0

0 Bewertungen

95,95 €

Titel: Automation of Reasoning | Zusatz: Classical Papers on Computational Logic 1957-1966 | Medium: Taschenbuch | Redaktion: G. Wrightson (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xii / 528 S. | Auflage: Softcover reprint of the original 1st edition 1983 | Sprache: Englisch | Seiten: 544 | Maße: 244 x 170 x 30 mm | Erschienen: 10.01.2012 | Anbieter: Faboplay.

Jetzt bei Ebay:

Publikationsname:

Automation of Reasoning
Autor:

G. Wrightson
Produktart:

Mathematik
Erscheinungsjahr:

2012
Sprache:

Englisch
Anzahl der Seiten:

544
Marke:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Hersteller:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Verlag:

Springer-Verlag GmbH, Springer Berlin Heidelberg
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

Softcover reprint of the original 1st edition 1983
Titelzusatz:

Classical Papers on Computational Logic 1957-1966
Schlagworte:

Informatik, Mathematik: Logik, EDV, Theoretische Informatik, Küns
Redaktion:

G. Wrightson
Herstellungsland und -region:

Deutschland
ISBN:

3642819540

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 28. June 2025 und 30. June 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