10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449) 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)

CategoryAlgorithms

Book Details

ISBN / ASIN0387528857
ISBN-139780387528854
CategoryAlgorithms
MarketplaceUnited States  🇺🇸

More Books in Algorithms

Donate to EbookNetworking
Prev
Tracking and Data F...Next