分面检索

图书馆

馆藏地点

1. 典藏书库•基础书库 (6)
2. 科教城校区2楼密集2区 (1)
3. 广图从化分馆 (1)
4. （总馆）三层·自然与科学区 (1)
5. 新塘书库（非本馆资产） (1)
6. 科学技术图书区 (1)
7. 显示更多..

主题

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. 1983 (2)
2. 1988 (2)
3. 1989 (1)
4. 1990 (1)
5. 2000 (1)
6. 2003 (1)
7. 显示更多..

文献类型

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

语言种类

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

新到时间

1. 过去7天 (0)
2. 过去30天 (0)
3. 过去60天 (0)
4. 过去90天 (0)
5. 过去180天 (0)
6. 超过180天 (8)
7. 显示更多..

在馆

1. 在馆 (8)
2. 显示更多..