大拱桥--暨南大学学生门户 » 图书馆 » (分类号:O122.2-39)(共1本)

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

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