MARC状态：已编 文献类型：中文图书 浏览次数：68
- 题名/责任者:
- 计算机自动推理与智能教学/王岚, 乐毓俊主编
- 出版发行项:
- 北京:北京邮电大学出版社,2005
- ISBN及定价:
- 7-5635-0921-6/CNY29.00
- 载体形态项:
- 311页:图;26cm
- 个人责任者:
- 王岚 主编
- 个人责任者:
- 乐毓俊 主编
- 学科主题:
- 计算机辅助教学-专家系统
- 学科主题:
- 程序设计
- 中图法分类号:
- G434
- 中图法分类号:
- TP312
- 提要文摘附注:
- 本书主要介绍计算机自动推理基础数理逻辑及以此理论为基础的人工智能语言prolog语言，并在些基础上介绍了计算机自动推理理论在教育中应用的基本原理。
- 使用对象附注:
- 高等院校相关专业师生, 从事数理逻辑和智能教学的人员和教师.
全部MARC细节信息>>
密集书库四