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
MarketplaceFrance  🇫🇷

More Books in Algorithms

Donate to EbookNetworking
Prev
Next