检索到 33 条 分类号=O141.3 的结果
-
中文图书1.多层次模型 O141.3/240/3
馆藏复本：3
可借复本：3 (美)道格拉斯·A.卢克著
格致出版社 2023
(0) 馆藏 -
中文图书2.非递归因果模型 O141.3/760/2
馆藏复本：3
可借复本：3 (美) 威廉·D. 贝里著
格致出版社 2022
(0) 馆藏 -
中文图书3.递归划分方法及其应用.第2版 O141.3/121
馆藏复本：4
可借复本：4 (美) HepingZhang, (美) BurtonH.Singer著
高等教育出版社 2021
(0) 馆藏 -
中文图书4.递归论 O141.3/425.3/2
馆藏复本：1
可借复本：0 莫绍揆著
科学出版社 1987
(0) 馆藏 -
中文图书5.非递归模型:内生性、互反关系与反馈环路 O141.3/444
馆藏复本：2
可借复本：2 (美) 帕梅拉·M. 帕克斯顿, 约翰·R. 希普, 桑德拉·马夸特-派亚特著
格致出版社 2016
(0) 馆藏 -
中文图书6.论可计算数:图灵与现代计算的诞生:the birth of computer science O141.3/266
馆藏复本：2
可借复本：2 (美) 克里斯·伯恩哈特著
中信出版社 2016
(0) 馆藏 -
中文图书7.多层次模型 O141.3/240/2
馆藏复本：2
可借复本：2 (美)道格拉斯·A.卢克(Douglas A. Luke)著
格致出版社 2016
(0) 馆藏 -
中文图书8.非递归因果模型 O141.3/760
馆藏复本：3
可借复本：3 (美) 威廉·D. 贝里著
格致出版社 2012.7
(0) 馆藏 -
中文图书9.多层次模型 O141.3/240
馆藏复本：3
可借复本：3 (美) 道格拉斯·A. 卢克著
格致出版社 2012
(0) 馆藏 -
中文图书10.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/158
馆藏复本：5
可借复本：0 霍书全著
科学出版社 2009
(0) 馆藏 -
西文图书11.Computability in Analysis and Physics. O141.3/P1
馆藏复本：1
可借复本：1 Pour-El, Marian B.
Springer-Verlag 1989
(0) 馆藏 -
西文图书12.Proceedings O141.3/I4
馆藏复本：1
可借复本：1 International Symposium on Multiple-Valued Logic(12th : 1982 : Paris)
IEEE Computer Society Pr. 1982
(0) 馆藏 -
西文图书13.Computability O141.3/C2
馆藏复本：3
可借复本：3 Cutland, N.
The Univ.Pr. 1980
(0) 馆藏 -
西文图书14.Proceedings of The Conference. O141.3/C1
馆藏复本：1
可借复本：1 Constructive Mathematics. New Mexico,1980
Springer-Verlag 1981
(0) 馆藏 -
西文图书15.Proceedings. O141.3/I3
馆藏复本：1
可借复本：1 International Symposium on Multi-Valued Logic(13th : 1983 : Kyoto)
IEEE Computer Society Pr. 1983
(0) 馆藏 -
西文图书16.Thinking Recursively. O141.3/R2
馆藏复本：1
可借复本：0 Roberts, Eric.
Wiley 1986
(0) 馆藏 -
中文图书17.多值逻辑的理论及应用 O141.3/684
馆藏复本：10
可借复本：0 罗铸楷等著
科学出版社 1992.3
(0) 馆藏 -
西文图书18.Constrouctibility. O141.3/D1
馆藏复本：2
可借复本：2 Devlin, Keith J.
Spinger-Verlag 1984
(0) 馆藏 -
中文图书19.递归可枚举集和图灵度:可计算函数与可计算生成集研究-影印版 O141.3/420
馆藏复本：3
可借复本：3 Robert I. Soare[著]
科学出版社 2007.1
(0) 馆藏 -
西文图书20.11th International Symposium on Multiple-Valued Logic O141.3/I2
馆藏复本：1
可借复本：1 International Symposium on Multi-Valued Logic,11th , Oklahoma City, 1981.
IEEE 1981
(0) 馆藏
