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

方程求解与机器证明 : 基于MMP的问题求解

0
索取号:O122.2-39/20071
作者:高小山、王定康、裘宗燕、杨宏、
出版社:北京 : 科学出版社, 2006
最近添加的分类