Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)

Name: Automated Reasoning: Essays in Honor of Woody Bledsoe (Automated Reasoning Series)
ISBN: 9780792314097

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

152.57 209.00 USD

✓ Usually ships in 1 to 3 weeks

Book Details

PublisherSpringer

ISBN / ASIN0792314093

ISBN-139780792314097

AvailabilityUsually ships in 1 to 3 weeks

Sales Rank12,962,736

MarketplaceUnited States 🇺🇸