Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science, 2930, Band 2930)
Der Band dokumentiert die Ergebnisse des internationalen Workshops „Automated Deduction in Geometry“, abgehalten im Schloss Hagenberg im September ...