https://www.ebooknetworking.net/books_detail-0273087185.html

A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)

Name: A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Author: Christoph Walther
ISBN: 9780273087182

AuthorChristoph Walther

PublisherMorgan Kaufmann

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

31.95 USD

Buy New on Amazon 🇺🇸 Buy Used — $2.62

Usually ships in 24 hours

Book Details

Author(s)Christoph Walther

PublisherMorgan Kaufmann

ISBN / ASIN0273087185

ISBN-139780273087182

AvailabilityUsually ships in 24 hours

Sales Rank7,761,763

MarketplaceUnited States 🇺🇸