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

Buy New on Amazon 🇫🇷

Book Details

Author(s)Christoph Walther

PublisherMorgan Kaufmann

ISBN / ASIN0273087185

ISBN-139780273087182

MarketplaceFrance 🇫🇷