Home › Books › Automated Theorem Proving: After 25 Years (Contemporary Mat…
Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy on Amazon

https://www.ebooknetworking.net/books_detail-082185027X.html

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

AuthorW. W. Bledsoe
PublisherAmer Mathematical Society
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
45.62 50.00 USD
Buy New on Amazon 🇺🇸 Buy Used — $4.78

Usually ships in 1 to 3 weeks

Book Details

Author(s)W. W. Bledsoe
PublisherAmer Mathematical Society
ISBN / ASIN082185027X
ISBN-139780821850275
AvailabilityUsually ships in 1 to 3 weeks
Sales Rank9,139,408
MarketplaceUnited States  🇺🇸
Donate to EbookNetworking
Prev
Next