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

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

自动推理导论

自动推理导论

定　价：¥4.00

作　者：	邱玉辉，张为群编著
出版社：	电子科技大学出版社
丛编项：
标　签：	推理数理逻辑

ISBN：	9787810163309	出版时间：	1992-06-01	包装：
开本：	20cm	页数：	216页	字数：

内容简介

　　本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统，是80年代的一门新兴学科，是人类智能研究的根本问题。

作者简介

暂缺《自动推理导论》作者简介

图书目录

暂缺《自动推理导论》目录

本目录推荐