7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170) 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)

PublisherSpringer
CategoryMathematics

Book Details

PublisherSpringer
ISBN / ASIN0387960228
ISBN-139780387960227
CategoryMathematics
MarketplaceFrance  🇫🇷

More Books in Mathematics

Donate to EbookNetworking
Prev
Design of Experimen...Next