Automated Deduction in Geometry: 6th Inteational

Automated Deduction in Geometry: 6th Inteational Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes .. / Lecture Notes in Artificial Intelligence)

Hardcover: 213 pages

Publisher: Springer (December 12, 2007)

Language: English

ISBN-10: 354077355X

电子书代发PDF格式价格10我要求助
未经允许不得转载:Wow! eBook » Automated Deduction in Geometry: 6th Inteational