Items related to A Many-Sorted Calculus Based on Resolution and Paramodulatio...
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) - Softcover
Synopsis
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
"synopsis" may belong to another edition of this title.
Search results for A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Stock Image
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Not Es in Artificial Intelligence)
Published by
Morgan Kaufman Publishers, 1987
ISBN 10: 0273087185
ISBN 13: 9780273087182
Used
Paperback
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: UsedGood. Softcover; surplus library copy with the usual stampings; fading and shelf wear to exterior; otherwise in good condition with clean text, firm binding. Seller Inventory # 67206
Stock Image
A Many-Sorted Calculus Based on Resolution and Paramodulation
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780273087182. Seller Inventory # 9536060
Buy Used
£ 10.89
£ 13.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock. Seller Inventory # zk0273087185
Buy New
£ 33.56
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available