名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 石纯一 , 检索到: 10 条结果, 检索时间: 0.063 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
著者: 石纯一
出版社: 清华大学出版社   出版日期: 1997.4
文献类型: 图书 , 索书号: TP18/91
2.
人工智能原理
著者: 石纯一
出版社: 清华大学出版社   出版日期: 1993.10
文献类型: 图书 , 索书号: TP18/59
3.
自动定理证明
著者: 石纯一
出版社: 气象出版社   出版日期: 1989.12
文献类型: 图书 , 索书号: TP18/2
4.
基于Agent的计算 已借1次.
出版社: 清华大学出版社   出版日期: 2007
文献类型: 图书 , 索书号: TP183/46
5.
数理逻辑与集合论
出版社: 清华大学出版社   出版日期: 2000
文献类型: 图书 , 索书号: O14/6/2
6.
数理逻辑与集合论
出版社: 清华大学出版社   出版日期: 1990.2
文献类型: 图书 , 索书号: O14/6
7.
计算机数学
出版社: 科学出版社   出版日期: 1988.8
文献类型: 图书 , 索书号: O158/16
8.
计算机数学
著者: 库克
出版社: 科学出版社   出版日期: 1988
文献类型: 图书 , 索书号: O158/0040
9.
人工智能原理
著者: 尼尔逊
出版社: 科学出版社   出版日期: ,1983.2
文献类型: 图书 , 索书号: TP18/9
10.
离散数学
出版社: 电子工业出版社   出版日期: 2005
文献类型: 图书 , 索书号: O158/98