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

EUR39,80
inkl. MwSt. zzgl. Versand: EUR 3,50
Lieferzeit: 1 - 4 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 16 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

Itzykson, Claude and Jean Bernard Zuber:
Quantum Field Theory. (=Dover Books on Physics).

EUR 22,00
Details zum Buch...

Bornemann, Folkmar, Dirk Laurie Stan Wagon u. a.:
Vom Lösen numerischer Probleme: Ein Streifzug entlang der "SIAM 10x10-Digit Challenge".

EUR 5,00
Details zum Buch...

Ansorge, Rainer:
Differenzenapproximationen partieller Anfangswertaufgaben. [Teubner-Studienbücher Band 45].

EUR 4,90
Details zum Buch...

Arley, Niels and K. Rander Buch:
Introduction to the Theory of Probability and Statistics. (= Applied Mathematics Series).

EUR 14,90
Details zum Buch...

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