7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170)

Name: 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170)
Author: Unknown
ISBN: 9780387960227

PublisherSpringer

CategoryMathematics

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

149.00 USD

Buy New on Amazon 🇺🇸 Buy Used — $15.79

Usually ships in 24 hours

Book Details

PublisherSpringer

ISBN / ASIN0387960228

ISBN-139780387960227

AvailabilityUsually ships in 24 hours

Sales Rank14,106,151

CategoryMathematics

MarketplaceUnited States 🇺🇸

More Books in Mathematics