分面检索

分馆

1. 永安图书馆 (11)
2. 显示更多..

主题

1. 机器证明 (3)
2. 中学 (2)
3. 定理证明 (2)
4. 数学-证明 (2)
5. 证明 (2)
6. 证明-数学 (2)
7. 人工智能 (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. 张景中 (2)
2. 张景中著 (2)
3. (日)内井 七著 (1)
4. (美)克林(s.c.kleene)著 (1)
5. (美)索　罗(solow,d.)著 (1)
6. kleene (1)
7. 任万库 (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. 1984 (2)
2. 1988 (2)
3. 1979 (1)
4. 1983 (1)
5. 1985 (1)
6. 1986 (1)
7. 1987 (1)
8. 2000 (1)
9. 2017 (1)
10. 显示更多..

文献类型

1. 中文图书 (11)
2. 显示更多..

语言种类

1. 汉语 (11)
2. 英语 (1)
3. 显示更多..