Home › Books › Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice Buy on Amazon

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

Automated Theorem Proving: Theory and Practice

AuthorMonty Newborn
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
138.22 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Monty Newborn
PublisherSpringer
ISBN / ASIN0387950753
ISBN-139780387950754
MarketplaceUnited States  🇺🇸

More Books by Monty Newborn

Kasparov versus Deep Blue: Computer Chess Comes of Age
Kasparov versus Deep Blue: Computer Chess Comes of Age
View
Deep Blue: An Artificial Intelligence Milestone
Deep Blue: An Artificial Intelligence Milestone
View
Donate to EbookNetworking
Prev
Next