检索到 7 条 主题词=Computable functions. 的结果
-
西文图书1.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141/B724-4
馆藏复本：7
可借复本：6 George S. Boolos, John P. Burgess, Richard C. Jeffrey著.
Pub. House of Electronic Industry, 2003.
(0) 馆藏 -
西文图书2.Computability, an introduction to recursive function theory / O141.3/C989
馆藏复本：1
可借复本：0 Nigel Cutland.
Cambridge University Press, 1980.
(0) 馆藏 -
西文图书3.Recursively enumerable sets and degrees : a study of computable functions and computably generate... O141.3/S676
馆藏复本：3
可借复本：2 Robert I. Soare.
科学出版社, 2007.
(0) 馆藏 -
西文图书4.Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechos... TP31-53/G659
馆藏复本：1
可借复本：0 edited by J. Beécv?aér.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书5.Introduction to languages and the theory of computation / 2nd ed. O14/M381-2
馆藏复本：1
可借复本：0 John C. Martin.
WCB/McGraw-Hill, c1997.
(0) 馆藏 -
西文图书6.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) 馆藏 -
西文图书7.Automata, computability and complexity : theory and applications = 自动机理论与应用 / TP301.1/R498
馆藏复本：1
可借复本：0 Elaine Rich著.
清华大学出版社, 2009.
(0) 馆藏
