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

数学机械化

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

实域论

0
索取号:O156.2/20042
作者:曾广兴、
出版社:北京 : 科学出版社, 2003