Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings Buy on Amazon

https://www.ebooknetworking.net/books_detail-3540581561.html

Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings

AuthorSpringer
PublisherSpringer
CategoryPaperback
105.30 134.58 CAD
Buy New on Amazon 🇨🇦

Usually ships within 6 to 7 days

Book Details

Author(s)Springer
PublisherSpringer
ISBN / ASIN3540581561
ISBN-139783540581567
AvailabilityUsually ships within 6 to 7 days
CategoryPaperback
MarketplaceCanada  🇨🇦

More Books in Paperback

More Books by Springer

Donate to EbookNetworking
An Essay on the Pri...Prev
Next