大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 机器证明 的图书(共3本)

几何定理机器证明的基本原理 : 初等几何部分

0
索取号：O18/20105
作者：吴文俊、
出版社：北京 : 科学出版社, 1984

数学机械化

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

模型论基础

0
索取号：O141.4/871
作者：王世强、
出版社：北京 : 科学出版社, 1987