MARC状态:审校 文献类型:中文图书 浏览次数:19
- 题名/责任者:
- 基于归结方法的自动推理/刘叙华著
- 出版发行项:
- 北京:科学出版社,1994.2
- ISBN及定价:
- 7-03-003927-0/$16.90
- 载体形态项:
- 499页;20cm
- 编目员补充题名:
- 归结 推理
- 个人责任者:
- 刘叙华 著
- 学科主题:
- 人工智能 - 数理逻辑
- 学科主题:
- 数理逻辑 - 人工智能
- 中图法分类号:
- TP18
- 一般附注:
- 中国科学院出版基金资助出版
- 责任者附注:
- 刘叙华,吉林大学任教
- 提要文摘附注:
- 以归结方法为主线,介绍在经典逻辑、模糊逻辑、非单调逻辑和模态逻辑中的自动推理方法。
全部MARC细节信息>>