Automated Deduction in Geometry
Subtitle: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Publisher: Springer
Published: 2013
Language: eng
ISBN-13: 9783642406720