Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture .. / Lecture Notes in Artificial Intelligence)
Get this book Contact Email: girro@qq.com
Hardcover: 528 pages
Publisher: Springer (July 12, 2011)
Language: English
ISBN-10: 3642224377
未经允许不得转载：电子书百科大全 » Automated Deduction -- CADE-23: 23rd International