Automated Deduction in Geometry
Subtitle: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Publisher: Springer
Published: Nov 27, 2013
Format: paperback
Number of pages: 204
ISBN-13: 9783642406737
Notes: Source title: Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers