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

Name: Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers: 6877 (Lecture Notes in Computer Science, 6877)
Brand: Springer

Springer

Pages: 269, Edition: 2011, Paperback, Springer