Loveland, Donald W.: Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Amsterdam (NL), North-Holland., 1978.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Loveland, Donald W.:
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Amsterdam (NL), North-Holland., 1978.
ISBN/EAN: 9780720404999

gefunden im Sachgebiet: Mathematik

405 p., Hardcover.

Good condition according to age. Note of ownership. Paper slightly brownished at the edges.

[SW: Mathematics, Logik]
Mathematics, Logik

EUR45,00
inkl. MwSt. zzgl. Versand: EUR 3,50
Lieferzeit: 1 - 4 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 3 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Loveland, Donald W.: Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Sc ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Reiffen, Hans-Jörg, Günter Scheja und Udo Vetter:
Algebra. BI-Hochschultaschenbücher ; Bd. 110.

EUR 4,80
Details zum Buch...

Heinhold, Joseph, Bruno Riedmüller und Herbert Fischer:
Lineare Algebra und analytische Geometrie / Aufgaben und Lösungen zur linearen Algebra und analytischen Geometrie - 4 Bände : 1. Teil 1 / 2. Aufgaben und Lösungen zu Teil 1 / 3. Teil 2 / 4. Aufgaben und Lösungen zu Teil 2.

EUR 22,10
Details zum Buch...

Fabian, Václav:
Statistische Methoden.

EUR 8,00
Details zum Buch...

Pomp, Andreas:
The Boundary-Domain Integral Method for Elliptic Systems. With Application to Shells. [Lecture Notes in Mathematics, Vol. 1683].

EUR 5,40
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren