A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
"synopsis" may belong to another edition of this title.
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0273087185I5N00
Seller: BookDepart, Shepherdstown, WV, U.S.A.
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
Seller: Anybook.com, Lincoln, United Kingdom
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
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock. Seller Inventory # zk0273087185
Quantity: 1 available