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

Author Christoph Walther

Publisher Morgan Kaufmann

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose 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 🇺🇸