分面检索

图书馆

1. 从化区图书馆 (2)
2. 广州城市职业学院 (2)
3. 广州图书馆 (15)
4. 越秀区图书馆 (3)
5. 显示更多..

主题

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

著者

1. 莫绍揆 (17)
2. 莫绍揆著 (8)
3. 莫绍揆编著 (3)
4. 克林 (2)
5. ((1917-))莫绍揆译 (1)
6. (美)克林(kleene,s.c.)著 (1)
7. (美)克林(s.c.kleene)著;莫绍揆译 (1)
8. (美)霍普克罗夫特(j.e.hopcroft),(美)厄尔曼(j.d.ullman)著 (1)
9. hopcroft (1)
10. kleene (1)
11. ullman (1)
12. 厄尔曼 (1)
13. 汪灵华 (1)
14. 王元元 (1)
15. 莫绍揆, 汪灵华著 (1)
16. 莫绍揆, 王元元著 (1)
17. 莫绍揆等著 (1)
18. 莫绍揆等译 (1)
19. 莫绍揆译 (1)
20. 霍普克罗夫特 (1)
21. 显示更多..

出版日期

1. 1992 (2)
2. 1989 (1)
3. 1987 (3)
4. 1985 (1)
5. 1984 (2)
6. 1983 (1)
7. 1982 (2)
8. 1980 (4)
9. 1979 (1)
10. 显示更多..

文献类型

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

语言种类

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