Automated Deduction in Geometry
Subtitle: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Publisher: Springer
Published: Feb 23, 2012
Format: paperback
Number of pages: 272
ISBN-13: 9783642250712
Notes: Source title: Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers