电子书百科大全 Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)
Get this book Contact Email: girro@qq.com
Hardcover: 504 pages
Publisher: Springer (July 10, 2009)
Language: English
ISBN-10: 3642029582
未经允许不得转载：电子书百科大全 » Automated Deduction – CADE-22: 22nd International