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

EUR43,20
inkl. MwSt. zzgl. Versand: EUR 3,50
Lieferzeit: 1 - 4 Werktage

In den Warenkorb

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

Chevalley, Claude C.:
The Algebraic Theory of Spinors.

EUR 27,60
Details zum Buch...

Borovkov, A. A. and K. A. Borovkov:
Asymptotic Analysis of Random Walks: Heavy-Tailed Distributions (Encyclopedia of Mathematics and its Applications, Vol. 118).

EUR 8,80
Details zum Buch...

Klaua, Dieter:
Elementare Axiome der Mengenlehre: Einführung in die Allgemeine Mengenlehre I. (= WTB, Band 81).

EUR 8,10
Details zum Buch...

Stöcker, Ralph und Heiner Zieschang:
Algebraische Topologie. Eine Einführung. (=Mathematische Leitfäden).

EUR 26,50
Details zum Buch...

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