-
中文图书1.可计算性与计算复杂性导引.第2版 TP301/31=2
馆藏复本:5
可借复本:4 张立昂编著
北京大学出版社 2004
(0) 馆藏
-
中文图书2.可计算性与数理逻辑 TP301.4/1
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏
馆藏复本:5
可借复本:4 张立昂编著
北京大学出版社 2004
(0) 馆藏
馆藏复本:2
可借复本:2 (美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏