分面检索

图书馆

1. 昆明冶金高等专科学校图书馆 (17)
2. 显示更多..

馆藏地点

1. 莲华校区书库 (13)
2. 安宁校区书库 (9)
3. 安宁校区密集书架 (2)
4. 显示更多..

主题

1. 数理逻辑 (4)
2. 算法理论 (2)
3. 关系 (1)
4. 函数论 (1)
5. 形式语言 (1)
6. 概论 (1)
7. 自动机 (1)
8. 递归函数 (1)
9. 显示更多..

著者

1. 莫绍揆 (17)
2. 莫绍揆著 (6)
3. 莫绍揆译 (4)
4. 莫绍揆编著 (3)
5. (德)希尔柏脱(d.hilbert),(德)阿克曼(w.ackermann)著 (2)
6. (美国)s.c.克林著 (2)
7. s.c.克林 (2)
8. 希尔伯特 (2)
9. 阿克曼 (2)
10. (美)霍普克罗夫特(j.e.hopcroft),(美)厄尔曼(j.d.ullman)著 (1)
11. (苏)雅格龙著 (1)
12. hopcroft (1)
13. ullman (1)
14. 厄尔曼 (1)
15. 王元元 (1)
16. 莫绍揆校 (1)
17. 莫绍揆等编 (1)
18. 莫绍揆等译 (1)
19. 莫绍揆，王元元著 (1)
20. 陈光还 (1)
21. 显示更多..

出版日期

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

文献类型

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

语言种类

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