Home > Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 14 of 14 entries
Chapters/Headings | Author(s) | Pages | Info |
1-30 | |||
31-32 | |||
33-47 | |||
48-58 | |||
59-70 | |||
71-88 | |||
89-109 | |||
110-119 | |||
120-142 | |||
143-160 | |||
161-180 | |||
181-192 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 14 of 14 entries