Automated Theorem Proving: A Logical Basis - Hardcover

Loveland, Donald W.

 
9780720404999: Automated Theorem Proving: A Logical Basis
Hardcover
ISBN 10: 0720404991 ISBN 13: 9780720404999
Verlag: North-Holland, 1978

Inhaltsangabe

Volume 6 1978 XII, 405 Seiten ; Mit Figuren 22,5 x 15 cm Fundamental Studies in Computer Science 6 - Innen leicht gebräunt, sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband mit leichten Gebrauchsspuren. In Englisch B06-02-06G|S34

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
North-Holland
Erscheinungsdatum
1978
Sprache
Englisch
ISBN 10 
0720404991
ISBN 13 
9780720404999
Einband
Gebundene Ausgabe
Auflage
6
Anzahl der Seiten
420
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781493305513: Automated Theorem Proving: A Logical Basis

Vorgestellte Ausgabe

ISBN 10:  1493305514 ISBN 13:  9781493305513
Verlag: North Holland, 2014
Softcover