分面检索

图书馆

1. 广州城市职业学院 (1)
2. 广州图书馆 (6)
3. 广图联合分馆 (1)
4. 南沙区图书馆 (1)
5. 增城图书馆 (1)
6. 显示更多..

主题

1. 人工智能 (3)
2. 数理逻辑 (2)
3. 理论 (2)
4. 集论 (2)
5. agent (1)
6. 专家系统 (1)
7. 定理证明-自动学 (1)
8. 离散数学 (1)
9. 程序设计 (1)
10. 自动学-定理证明 (1)
11. 软件工具 (1)
12. 显示更多..

著者

1. 石纯一 (8)
2. (美)尼尔逊(n.j.nilsson)著 (2)
3. nilsson (2)
4. 尼尔森 (2)
5. 石纯一译 (2)
6. (英)michael wooldridge著 (1)
7. (英)库克(cooke,d.j.),(英)贝兹(bez,h.e.)著 (1)
8. 伍尔德里奇 (1)
9. 库克 (1)
10. 张伟 (1)
11. 张钹 (1)
12. 徐晋晖 (1)
13. 林尧瑞 (1)
14. 林尧瑞, 张钹, 石纯一编著 (1)
15. 王家■ (1)
16. 王家□ (1)
17. 王家〓 (1)
18. 石纯一, 王家■译 (1)
19. 石纯一, 王家〓编著 (1)
20. 石纯一编著 (1)
21. 显示更多..

出版日期

1. 2003 (1)
2. 2000 (1)
3. 1990 (1)
4. 1989 (1)
5. 1988 (2)
6. 1983 (2)
7. 显示更多..

文献类型

1. 图书 (8)
2. 显示更多..

语言种类

1. 汉语 (8)
2. 显示更多..