Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes iAutomated Deduction in Geometry: 4th International Workshop,…de FRANZ WINKLER10 pointsJ'aiJe veux
