检索到 13 条 分类号=O141.3 的结果
-
中文图书1.非递归因果模型 O141.3/B479
馆藏复本：3
可借复本：3 (美) 威廉·D. 贝里著
格致出版社 2022
(0) 馆藏 -
中文图书2.递归划分方法及其应用 O141.3/Z387
馆藏复本：3
可借复本：3 Heping Zhang, Burton H. Singer著
高等教育出版社 2021
(0) 馆藏 -
中文图书3.递归函数论 51.311/2214
馆藏复本：2
可借复本：2 ( )培特(Peter,R.)著
科学出版社 1958
(0) 馆藏 -
中文图书4.递归论:算法与随机性基础 O141.3/H982
馆藏复本：5
可借复本：5 郝兆宽, 杨睿之, 杨跃著
复旦大学出版社 2018
(0) 馆藏 -
中文图书5.可计算性理论 51.35/151Q3, O141.3/M752-2
馆藏复本：12
可借复本：12 莫绍揆，王元元著
科学出版社 1987.12
(0) 馆藏 -
西文图书6.Model theory. O141.3/C456
馆藏复本：1
可借复本：1 Chang, Chen Chung,
North-Holland Pub. Co.; 1973.
(0) 馆藏 -
西文图书7.Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July... O141.3-532/C951
馆藏复本：2
可借复本：2 Crossley,J.N.
North-Holland Pub. Co. ; 1965.
(0) 馆藏 -
西文图书8.The complexity of computing / O141.3/S264, 51.8Q4
馆藏复本：10
可借复本：10 Savage, John E.,
Wiley, c1976.
(0) 馆藏 -
西文图书9.Introduction to computability / 51.35Q2, O141.3/H516
馆藏复本：4
可借复本：4 Hennie, Frederick C.
Addison-Wesley Pub. Co., c1977.
(0) 馆藏 -
中文图书10.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/H758
馆藏复本：5
可借复本：5 霍书全著
科学出版社 2009.04
(0) 馆藏 -
西文图书11.Theory of recursive functions and effective computability. 51.35Q1
馆藏复本：2
可借复本：2 Rogers, H.
McGraw-Hill, [1967]
(0) 馆藏 -
中文图书12.递归论 O141.3/M752
馆藏复本：3
可借复本：3 莫绍揆著
科学出版社 1987.11
(0) 馆藏 -
中文图书13.可计算性理论 O141.3/Y257
馆藏复本：2
可借复本：2 杨东屏，李昂生著
科学出版社 1999.4
(0) 馆藏
