|
题名:
|
计算机自动推理与智能教学 [ 专著] ji suan ji zi dong tui li yu zhi neng jiao xue / 王岚，乐毓俊编著 , |
|
ISBN:
|
7-5635-0921-6 价格： CNY29.00 |
|
语种:
|
chi |
|
载体形态:
|
311页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 2005 |
|
内容提要:
|
本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言，并在此基础上介绍了计算机自动推理理论在教育中的应用(智能教学ICAI)的基本原理、结构及方法。 |
|
主题词:
|
通用推理机 |
|
主题词:
|
计算机辅助教学 |
|
主题词:
|
通用推理机 计算机辅助教学 |
|
中图分类法:
|
G434 版次： 4 |
|
主要责任者:
|
王岚 wang lan 编著 |
|
主要责任者:
|
乐毓俊 yue yu jun 编著 |
|
索书号:
|
G434/1022 |