Other Popular Editions of the Same Title
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)
Published by
sole distributor for the U.S.A. and Canada, Elsevi, 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82907204049913
Buy Used
£ 171
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available