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 10 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

Klein, Felix:
Ueber Riemann`s Theorie der Algebraischen Functionen und ihrer Integrale. Eine Ergänzung der gewöhnlichen Darstellungen.

EUR 39,10
Details zum Buch...

Streich, W. J. und Th. Rösner:
Theorie linearer Automaten.

EUR 6,00
Details zum Buch...

Sundermeyer, Kurt:
Constrained dynamics : with applications to Yang-Mills theory, general relativity, class. spin, dual string model. (=Lecture Notes in Physics ; 169).

EUR 45,90
Details zum Buch...