检索到 13 条 责任者=莫绍揆, 的结果
-
中文图书1.数理逻辑初步 51.31/151
馆藏复本：5
可借复本：5 莫绍揆著
上海人民出版社 1980.8
(0) 馆藏 -
中文图书2.数理逻辑教程 51.3/151Q3
馆藏复本：2
可借复本：2 莫绍揆著
华中工学院出版社 1982.12
(0) 馆藏 -
中文图书3.逻辑代数和电子计算机简介 51.3/151Q2
馆藏复本：5
可借复本：5 莫绍揆等编
江苏人民出版社 1983.10
(0) 馆藏 -
中文图书4.元数学导论 51.32/11
馆藏复本：10
可借复本：10 (美)克林(S.C.Kleene)著;莫绍揆译
科学出版社 1984-1985
(0) 馆藏 -
中文图书5.递归函数论 51.311/2214
馆藏复本：2
可借复本：2 ( )培特(Peter,R.)著
科学出版社 1958
(0) 馆藏 -
中文图书6.数理逻辑概貌 O141/M752
馆藏复本：2
可借复本：2 莫绍揆著
科学技术文献出版社 1989
(0) 馆藏 -
中文图书7.可计算性理论 51.35/151Q3, O141.3/M752-2
馆藏复本：12
可借复本：12 莫绍揆，王元元著
科学出版社 1987.12
(0) 馆藏 -
中文图书8.形式语言及其与自动机的关系 TP312/H622, 73.872/1312
馆藏复本：22
可借复本：22 (美)霍普克罗夫特，厄尔曼著
科学出版社 1979.5
(0) 馆藏 -
中文图书9.质点几何学 O18/M752
馆藏复本：5
可借复本：5 莫绍揆著
重庆出版社 1992.9
(0) 馆藏 -
中文图书10.数理逻辑:计算机类专业适用 51.3/151Q1
馆藏复本：19
可借复本：19 莫绍揆等编
高等教育出版社 1984.7
(0) 馆藏 -
中文图书11.递归论 O141.3/M752
馆藏复本：3
可借复本：3 莫绍揆著
科学出版社 1987.11
(0) 馆藏 -
中文图书12.算法论 51.35/151Q2
馆藏复本：10
可借复本：10 莫绍揆编
科学出版社 1982.11
(0) 馆藏 -
中文图书13.递归论 51.35/151
馆藏复本：4
可借复本：4 莫绍揆著
科学出版社 1987.11
(0) 馆藏
