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