大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 机械化 的图书(共2本)

数学机械化

0
索取号:O1-0/1
作者:吴文俊、
出版社:北京:科学出版社,2003

计算机怎样解几何题-谈谈自动推理

0
索取号:TP181-49/1
作者:张景中、
出版社:广州:暨南大学出版社,2000