Automated Deduction — CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture .. / Lecture Notes in Artificial Intelligence)
Get this book Contact Email: girro@qq.com
Hardcover: 470 pages
Publisher: Springer (May 16, 2013)
Language: English
ISBN-10: 3642385737
未经允许不得转载：电子书百科大全 » Automated Deduction — CADE-24: 24th International