检索到 4 条 责任者=(Davis, Martin) 的结果
-
西文图书1.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理论基 TP301/D263(C=2)
馆藏复本：3
可借复本：3 Davis, Martin,
人民邮电出版社, 2009.
(0) 馆藏 -
中文图书2.逻辑的引擎 TP3-49/40
馆藏复本：3
可借复本：2 (美) 马丁·戴维斯著
湖南科学技术出版社 2005
(0) 馆藏 -
西文图书3.Applied nonstandard analysis / O141.41/D263
馆藏复本：1
可借复本：1 Davis, Martin,
Wiley, c1977.
(0) 馆藏 -
西文图书4.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263
馆藏复本：5
可借复本：5 Davis, Martin,
Academic Press, 1983.
(0) 馆藏
