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
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
Quantity: 1 available
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
Quantity: 1 available
Stock Image
A Many-Sorted Calculus Based on Resolution and Paramodulation
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 3163928-6
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
Quantity: 1 available
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
Quantity: 1 available