注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术工业技术自动化技术、计算技术自动定理证明

自动定理证明

自动定理证明

定　价：¥3.60

作　者：	石纯一编著
出版社：	气象出版社
丛编项：
标　签：	人工智能

ISBN：	9787502902988	出版时间：	1989-01-01	包装：
开本：	19cm	页数：	156页	字数：

内容简介

　　本书以人工智能的观点，将一阶谓词逻辑和非标准逻辑视作一种重要的知识表示和推理方法。

作者简介

暂缺《自动定理证明》作者简介

图书目录

暂缺《自动定理证明》目录

本目录推荐