Automated deduction in geometry：8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (8th 2010 Munich, Germany)
Group Author: Narboux Julien.; Richter-Gebert Ju rgen, 1963-; Schreck Pascal.
Published: Springer,
Publication Dates: c2011.