-
中文图书1.非递归因果模型 O141.3/12
馆藏复本:3
可借复本:2 (美) 威廉·D. 贝里著
格致出版社 2012
(0) 馆藏
-
中文图书2.多层次模型 O141.3/11
馆藏复本:3
可借复本:3 (美) 道格拉斯·A.卢克著
格致出版社 2012
(0) 馆藏
-
中文图书3.粒子群优化算法及其工程应用 O141.3/10
馆藏复本:3
可借复本:3 刘波著
电子工业出版社 2010
(0) 馆藏
-
中文图书4.模型降阶方法 O242.2/4
馆藏复本:3
可借复本:3 蒋耀林著
科学出版社 2010
(0) 馆藏
-
中文图书5.多值逻辑函数结构理论研究 O141.3/9
馆藏复本:3
可借复本:3 刘任任, 欧阳建权著
科学出版社 2010
(0) 馆藏
-
中文图书6.多值逻辑的方法和理论:非正规多值逻辑研究 O141.3/8
馆藏复本:3
可借复本:3 霍书全著
科学出版社 2009
(0) 馆藏
-
西文图书7.Algebraic complexity theory = 代数复杂性理论 / O141.3/B956(C)
馆藏复本:3
可借复本:3 Bürgisser, Peter,
科学出版社, 2007.
(0) 馆藏
-
西文图书8.Introduction to the theory of computation. O141.3/E57
馆藏复本:1
可借复本:1 Engeler, Erwin.
Academic Press [1973]
(0) 馆藏
-
西文图书9.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/B724=4
馆藏复本:3
可借复本:3 Boolos, George.
Pub. House of Electronic Industry, 2003.
(0) 馆藏
-
中文图书10.可计算性理论 O141.3/7
馆藏复本:6
可借复本:3 莫绍揆, 王元元著
科学出版社 1987
(0) 馆藏
-
西文图书11.Computability : an introduction to recursive function theory / O141.3/C989
馆藏复本:2
可借复本:2 Cutland, Nigel.
Cambridge University Press, 1980.
(0) 馆藏
-
中文图书12.算法论 O14/2
馆藏复本:5
可借复本:0 莫绍揆编著
科学出版社 1982
(0) 馆藏
-
中文图书13.递归论 O141.3/1
馆藏复本:10
可借复本:2 莫绍揆著
科学出版社 1987
(0) 馆藏
-
中文图书14.可计算性理论 O141.3/6
馆藏复本:5
可借复本:2 杨东屏,李昂生著
科学出版社 1999
(0) 馆藏
-
西文图书15.Subrecursion : functions and hierarchies / O141.3/R795
馆藏复本:2
可借复本:0 Rose, H. E.
Clarendon Press ; 1984.
(0) 馆藏
-
中文图书16.多值逻辑的理论及应用 O141.3/5
馆藏复本:2
可借复本:0 罗铸楷等著
科学出版社 1992.3
(0) 馆藏
-
中文图书17.原始递归算术 O141.3/2
馆藏复本:1
可借复本:0 沈百英著
华东化工学院出版社 1990
(0) 馆藏
-
中文图书18.可计算性理论 O29/23
馆藏复本:6
可借复本:1 张宏裕编著
天津科学技术出版社 1989.5
(0) 馆藏