检索到 22 条 分类号=O141.3 的结果
-
中文图书1.递归划分方法及其应用 O141.3/1221
馆藏复本：2
可借复本：2 Heping zhang, Burton, H. Singer
高等教育出版社 2021
(0) 馆藏 -
西文图书2.Abstract recursion and intrinsic complexity / O141.3/M896
馆藏复本：1
可借复本：0 Yiannis N. Moschovakis, University of California, Los Angeles, and University of Athens.
(0) 馆藏 -
中文图书3.非递归模型:内生性、互反关系与反馈环路 O141.3/1018
馆藏复本：2
可借复本：2 (美) 帕梅拉·M. 帕克斯顿, 约翰·R. 希普, 桑德拉·马奎特-派亚特著
格致出版社 2016
(0) 馆藏 -
中文图书4.可计算性与不可解性 O141.3/3080
馆藏复本：10
可借复本：9 (美) 戴维斯著
北京大学出版社 1984
(0) 馆藏 -
中文图书5.可计算性理论导引 O141.3/4038
馆藏复本：3
可借复本：2 李祥编著
贵州人民出版社 1986
(0) 馆藏 -
中文图书6.可计算性理论 O141.3/1262
馆藏复本：4
可借复本：3 张鸣华著
清华大学出版社 1984
(0) 馆藏 -
中文图书7.可计算性理论 O141.3/1233
馆藏复本：5
可借复本：4 张宏裕编著
天津科学技术出版社 1989
(0) 馆藏 -
中文图书8.可计算性理论 O141.3/4425/ 1
馆藏复本：5
可借复本：4 莫绍揆, 王元元著
科学出版社 1987
(0) 馆藏 -
中文图书9.递归论 O141.3/4425
馆藏复本：9
可借复本：1 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书10.非递归因果模型 O141.3/1453
馆藏复本：3
可借复本：2 (美) 威廉·D. 贝里著
格致出版社 2012
(0) 馆藏 -
西文图书11.Degrees of unsolvability : local and global theory / O141.3/L616
馆藏复本：1
可借复本：0 Manuel Lerman.
Springer-Verlag, 1983.
(0) 馆藏 -
西文图书12.Computability in context : computation and logic in the real world / O141.3/C777
馆藏复本：1
可借复本：0 edited by S. Barry Cooper & Andrea Sorbi.
World Scientific, c2011.
(0) 馆藏 -
西文图书13.Computability, an introduction to recursive function theory / O141.3/C989
馆藏复本：1
可借复本：0 Nigel Cutland.
Cambridge University Press, 1980.
(0) 馆藏 -
西文图书14.Introduction to the theory of computation / O141.3/E57
馆藏复本：1
可借复本：0 Erwin Engeler.
Academic Press, [c1973]
(0) 馆藏 -
西文图书15.Combinational logic / O141.3/S431
馆藏复本：3
可借复本：2 Scottish Qualifications Authority =组合逻辑 / 苏格兰学历管理委员会(SQA).
中国时代经济出版社, 2006.
(0) 馆藏 -
西文图书16.Algebraic recursion theory / O141.3/I93
馆藏复本：1
可借复本：0 L.L. Ivanov ; editor, J.L. Bell.
E. Horwood ; 1986.
(0) 馆藏 -
西文图书17.Recursively enumerable sets and degrees : a study of computable functions and computably generate... O141.3/S676
馆藏复本：3
可借复本：2 Robert I. Soare.
科学出版社, 2007.
(0) 馆藏 -
中文图书18.可计算性理论 O141.3/4747
馆藏复本：7
可借复本：6 杨东屏, 李昂生著
科学出版社 1999
(0) 馆藏 -
中文图书19.多值逻辑函数结构理论研究 O141.3/0222
馆藏复本：3
可借复本：2 刘任任, 欧阳建权著
科学出版社 2010
(0) 馆藏 -
中文图书20.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/1058
馆藏复本：3
可借复本：2 霍书全著
科学出版社 2009
(0) 馆藏
