|
题名:
|
计算机自动推理与智能教学 / 王岚，乐毓俊 , |
|
ISBN:
|
7-5635-0921-6 价格： 29.00 |
|
载体形态:
|
311页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 20050101 |
|
内容提要:
|
本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言，并在此基础上介绍了计算机自动推理理论在教育中的应用(智能教学ICAI)的基本原理、结构及方法。 |
|
主题词:
|
通用推理机 |
|
中图分类法:
|
G434 版次： |