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.
Other Popular Editions of the Same 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 Notes 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
Shipping:
£ 12.94
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
A Many-Sorted Calculus Based on Resolution and Paramodulation
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-576-109
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