Automated Deduction in Geometry

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction in Geometry : 9783642406720, 3642406726 および 印刷版のISBNは 9783642406713, 3642406718. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction in Geometry : 9783642406720, 3642406726 および 印刷版のISBNは 9783642406713, 3642406718. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。