Herbrand
所属分类：其他书籍
开发工具：matlab
文件大小：25KB
下载次数：12
上传日期：2006-05-19 08:39:59
上 传 者：
vert211
说明： Herbrand定理
王珏 张文生
中国科学院自动化研究所
主要讲解Herbrand定理,人工智能
(Herbrand theorem Wang Jue, Zhang Wensheng, Chinese Academy of Sciences Institute of Automation on the main Herbra nd theorem, artificial intelligence)
文件列表:
Herbrand定理，人工智能.ppt (287232, 2005-04-28)
近期下载者：
相关文件：
收藏者：