Buy on Amazon
https://www.ebooknetworking.net/books_detail-0387960228.html
7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170)
Book Details
PublisherSpringer
ISBN / ASIN0387960228
ISBN-139780387960227
AvailabilityUsually ships in 24 hours
Sales Rank14,106,151
CategoryMathematics
MarketplaceUnited States 🇺🇸










