大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 自动定理证明 [电子资源]
名称 自动定理证明 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 1989
ISBN 7502902988
页数 156页
价格
标签
简介
注解 本书以人工智能的观点，将一阶谓词逻辑和非标准逻辑视作一种重要的知识表示和推理方法。