Automated Deduction in Geometry: 7th Inteational

Automated Deduction in Geometry: 7th Inteational Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in .. / Lecture Notes in Artificial Intelligence)

Hardcover: 234 pages

Publisher: Springer (May 16, 2011)

Language: English

ISBN-10: 3642210457