Buy on Amazon
https://www.ebooknetworking.net/books_detail-0387528857.html
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
9.33
USD
Book Details
Author(s)M. E. Stickel,
ISBN / ASIN0387528857
ISBN-139780387528854
CategoryAlgorithms
MarketplaceUnited States 🇺🇸










