Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Franz Winkler Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers Automated Deduction in Geometry Lecture Notes in Computer Science 2930 Springer 2004 3-540-20927-1 db/conf/adg/adg2002.html