Automated Deduction in Geometry
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
- Editors
Conference proceedings
ADG 2006
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4869)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4869)