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

Melvin Fitting | First-Order Logic and Automated Theorem Proving | Taschenbuch

Ø 0.0

0 Bewertungen

79,95 €

Titel: First-Order Logic and Automated Theorem Proving | Medium: Taschenbuch | Autor: Melvin Fitting | Einband: Kartoniert / Broschiert | Inhalt: xviii / 326 S. | Auflage: 2nd edition 1996. Softcover reprint of the original 2nd edition 1996 | Sprache: Englisch | Seiten: 348 | Maße: 244 x 170 x 19 mm | Erschienen: 26.06.2013 | Anbieter: Faboplay.

Jetzt bei Ebay:

Buchtitel:

First-Order Logic and Automated Theorem Proving
Autor:

Melvin Fitting
Sprache:

Englisch
Erscheinungsjahr:

2013
Anzahl der Seiten:

348
Marke:

Springer New York, Springer US, New York, N.Y.
Hersteller:

Springer New York, Springer US, New York, N.Y.
Verlag:

Springer New York, Springer US, New York, N.Y.
Format:

Taschenbuch
Genre:

Importe
Ausgabe:

2nd edition 1996. Softcover reprint of the original 2nd edition 1
Schlagworte:

Informatik, Mathematik: Logik, EDV, Theoretische Informatik, Vers
Herstellungsland und -region:

Deutschland
ISBN:

1461275156

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 16. May 2025 und 19. 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