Synopsis
Automated Theorem A Logical Basis
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Automated theorem proving: A logical basis (Fundamental...
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
Buy Used
US$ 33.77
US$ 22.85 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
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
US$ 235.95
US$ 33.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available