Items related to Automated Theorem Proving: A Logical Basis
Search results for Automated Theorem Proving: A Logical Basis
Stock Image
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Published by
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Used
Hardcover
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Gut. 405 p., Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Sprache: Englisch Gewicht in Gramm: 940. Seller Inventory # 861127
Stock Image
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Loveland, Donald W.
Published by
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Used
Hardcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
Condition: gut. 1978. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. In englischer Sprache. pages. Seller Inventory # BN701015