分面检索

图书馆

1. 黑龙江省图书馆 (15)
2. 显示更多..

馆藏地点

1. 保存本书库 (15)
2. 显示更多..

主题

1. 数理逻辑 (5)
2. 证明论 (2)
3. 几何-质点 (1)
4. 可计算性 (1)
5. 布尔代数 (1)
6. 形式语言 (1)
7. 数学基础 (1)
8. 极限理论 (1)
9. 电子计算机 (1)
10. 算法理论 (1)
11. 自动机 (1)
12. 质点-几何 (1)
13. 递归论 (1)
14. 显示更多..

著者

1. 莫绍揆 (15)
2. 莫绍揆著 (5)
3. 莫绍揆编著 (3)
4. (美)克林(kleene，s.c.)著 (2)
5. kleene (2)
6. s.c (2)
7. 克林 (2)
8. 莫绍揆译 (2)
9. (美)霍普克罗夫特(j.e.hopcroft),(美)厄尔曼(j.d.ullman)著 (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. 1980 (2)
2. 1982 (2)
3. 1984 (2)
4. 1987 (2)
5. 1992 (2)
6. 1979 (1)
7. 1983 (1)
8. 1985 (1)
9. 1989 (1)
10. 1991 (1)
11. 显示更多..

文献类型

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

语言种类

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