书籍详情

自动定理证明

自动定理证明

作者：石纯一编著

出版社：气象出版社

出版时间：1989-01-01

ISBN：9787502902988

定价：¥3.60

内容简介

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

作者简介

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

目录

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

猜您喜欢

基于FPGA的深度学习加速器的设计与实现

现代传感器技术及实际应用

读书导航