书籍详情

自动定理证明

自动定理证明

作者：石纯一编著

出版社：气象出版社

出版时间：1989-01-01

ISBN：9787502902988

定价：¥3.60

内容简介

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

作者简介

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

目录

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

猜您喜欢

传感器与智能时代

特种机器人操作与运维

图解KUKA工业机器人电路连接及检测

读书导航