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


保存至书单:
1.
自动定理证明
出版社: 气象出版社   出版日期: 1989.12
文献类型: 图书 , 索书号: TP18
2.
数理逻辑与集合论
出版社: 清华大学出版社   出版日期: 1990.2
文献类型: 图书 , 索书号: O14
3.
人工智能原理
出版社: 清华大学出版社   出版日期: 1993.10
文献类型: 图书 , 索书号: TP18
4.
专家系统原理与实践
出版社: 清华大学出版社   出版日期: 1988.4
文献类型: 图书 , 索书号: TP11/33
5.
人工智能原理
出版社: 科学出版社   出版日期: 1983
文献类型: 图书 , 索书号: TP11/07
6.
计算机数学
出版社: 科学出版社   出版日期: 1988.8
文献类型: 图书 , 索书号: O158