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

Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

0
索取号：
作者：Botana、 Francisco.、Recio、 Tomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.