-
中文图书1.论可计算数:图灵与现代计算的诞生:the Birth of computer science O141.3/9
馆藏复本:3
可借复本:2 (美) 克里斯·伯恩哈特著
中信出版社 2016
(0) 馆藏 -
中文图书2.可计算性与计算复杂性导引.第2版 TP301/31=2
馆藏复本:5
可借复本:4 张立昂编著
北京大学出版社 2004
(0) 馆藏 -
中文图书3.可计算性理论 O141.3/7
馆藏复本:5
可借复本:5 杨东屏, 李昂生著
科学出版社 1999
(0) 馆藏 -
中文图书4.可计算性与数理逻辑 TP301.4/1
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏