Search Books

Automated Theorem Proving: After 25 Years (Contemporary Mathematics)

Author W. W. Bledsoe
Publisher Amer Mathematical Society
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose 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

Share:
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 🇺🇸