Automated Deduction in Geometry: 8th Inteational Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Hardcover: 272 pages

Publisher: Springer (November 22, 2011)

Language: English

ISBN-10: 3642250696

代发服务

PDF电子书10元立即求助