Automated Deduction in Geometry
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
ADG 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9201)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 9201)