Automated Deduction in Geometry

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction in Geometry : 9783319213620, 3319213628 および 印刷版のISBNは 9783319213613, 331921361X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction in Geometry : 9783319213620, 3319213628 および 印刷版のISBNは 9783319213613, 331921361X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。