搜索包含机器证明的图书 - 暨南大学图书馆

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

	几何定理机器证明的基本原理 : 初等几何部分 0 索取号：O18/20105 作者：吴文俊、出版社：北京 : 科学出版社, 1984		数学机械化 0 索取号：O1-0/20043 作者：吴文俊、出版社：北京 : 科学出版社, 2003
	模型论基础 0 索取号：O141.4/871 作者：王世强、出版社：北京 : 科学出版社, 1987