MARC状态：已编 文献类型：中文图书 浏览次数：50
- 题名/责任者:
- 自动推理导论/邱玉辉，张为群编著
- 出版发行项:
- 成都:电子科技大学出版社,1992
- ISBN及定价:
- 7-81016-330-2/CNY17.50
- 载体形态项:
- 216页;20cm
- 编目员补充题名:
- 自动推理导论
- 丛编项:
- 物理知识提前学丛书
- 个人责任者:
- 张为群 编著
- 个人责任者:
- 邱玉辉 编著
- 学科主题:
- 数理逻辑
- 学科主题:
- 推理
- 学科主题:
- 推理-数理逻辑
- 中图法分类号:
- O141
- 书目附注:
- 有书目(第214～216页)
- 提要文摘附注:
- 本书主要介绍自动定理证明、非单调推理、概率推理、模糊推理及自动推理系统,是80年代的一门新兴学科,是人类智能研究的根本问题。
全部MARC细节信息>>
理工阅览室（4楼）