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
Seller Image
A Many-Sorted Calculus Based on Resolution and Paramodulation
Published by
Morgan Kaufmann, 1987
ISBN 10: 0273087185
ISBN 13: 9780273087182
Used
Paperback
First Edition
Seller: Southampton Books, Sag Harbor, NY, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. First Edition. First Edition, First Printing. Published by Morgan Kaufmann, 1987. Octavo. Paperback. Book is very good. Seller Inventory # 540079
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