Automated Deduction in Geometry
Subtitle: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Publisher: Springer
Published: 2011
Language: eng
ISBN-13: 9783642250705