-
中文图书1.形式语言及其与自动机的关系 TP314/2
馆藏复本:16
可借复本:16 (美)霍普克罗夫特(J.E.Hopcroft),(美)厄尔曼(J.D.Ullman)著
科学出版社 1979
(0) 馆藏
-
中文图书2.质点几何学 O186.13/4
馆藏复本:3
可借复本:3 莫绍揆著
重庆出版社 1992.9
(0) 馆藏
-
中文图书3.可计算性理论 O141.3/6
馆藏复本:7
可借复本:7 莫绍揆,王元元著
科学出版社 1987.12
(0) 馆藏
-
中文图书4.算法论 O141.3/2
馆藏复本:6
可借复本:6 莫绍揆著
科学出版社 1982
(0) 馆藏
-
中文图书5.数理逻辑概貌 O141/13
馆藏复本:5
可借复本:5 莫绍揆著
科学技术文献出版社 1989.3
(0) 馆藏
-
中文图书6.数理逻辑:计算机类专业适用 O141/9
馆藏复本:5
可借复本:5 莫绍揆等编
高等教育出版社 1984.7
(0) 馆藏
-
中文图书7.递归论 O141.3/5
馆藏复本:13
可借复本:13 莫绍揆著
科学出版社 1987.11
(0) 馆藏
-
中文图书8.数理逻辑导论 O141/2
馆藏复本:1
可借复本:1 莫绍揆著
上海科学技术出版社 1964
(0) 馆藏