MARC状态：已编 文献类型：中文图书 浏览次数：26
- 题名/责任者:
- 计算机自动推理与智能教学/王岚，乐毓俊主编
- 出版发行项:
- 北京:北京邮电学院出版社,2005
- ISBN及定价:
- 7-5635-0921-6/CNY29.00
- 载体形态项:
- 311页:图;26cm
- 个人责任者:
- 王岚 主编
- 个人责任者:
- 乐毓俊 主编
- 学科主题:
- 通用推理机-计算机辅助教学
- 学科主题:
- 通用推理机
- 学科主题:
- 计算机辅助教学
- 中图法分类号:
- G434
- 提要文摘附注:
- 本书主要介绍计算机自动推理的理论基础数理逻辑以及此理论为基础的人工智能语言Prolog语言，并在此基础上介绍了计算机自动推理理论在教育中应用的基本原理、结构及其方法。
- 使用对象附注:
- 阅读对象：从事数理逻辑和智能教学的人员等
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| G434/44 | 895696 |  洪庆校区
|
可借 | |
| G434/44 | 895691 | 内阅图书
|
可借 | |
| G434/44 | 895692 | 金花馆
|
可借 | |
| G434/44 | 895693 | 金花馆
|
可借 | |
| G434/44 | 895694 | 金花馆
|
可借 | |
| G434/44 | 895695 | 金花馆
|
可借 |
显示全部馆藏信息