书籍详情

自动定理证明

自动定理证明

作者：石纯一编著

出版社：气象出版社

出版时间：1989-01-01

ISBN：9787502902988

定价：¥3.60

内容简介

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

作者简介

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

目录

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

猜您喜欢

工程识图与AutoCAD习题册

传感器设计与试验技术研究

切换系统的稳定性及区间估计

读书导航