大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Zengler 的图书(共1本)

Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

0
索取号:
作者:Sturm、 Thomas.、Zengler、 Christoph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.