7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170)
Book Details
Publisher
Springer
ISBN / ASIN
0387960228
ISBN-13
9780387960227
Availability
Usually ships in 24 hours
Sales Rank
#14,106,151
Category
Mathematics
Marketplace
United States 🇺🇸
