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