1 电子书 Christoph Zengler
Thomas Sturm & Christoph Zengler: Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The …
PDF
英语
DRM
€57.61
