Automated Deduction in Geometry: 9th Inteational

2014-01-24 分类：计算机与互联网

Automated Deduction in Geometry: 9th Inteational Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)

Hardcover: 202 pages

Publisher: Springer (September 19, 2013)

Language: English

ISBN-10: 3642406718

资源下载资源下载价格10元立即购买

未经允许不得转载：Wow! eBook » Automated Deduction in Geometry: 9th Inteational

相关推荐