Automated Deduction in Geometry
Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
- Editors
- (view affiliations)
Conference proceedings
ADG 2000
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2061)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2061)