著者典拠情報

標目形：
Davis, Martin, 1928-
属性：
Personal
日付：
1928
から見よ参照形：
Davis, Martin D., 1928-
デービス, M.||デービス, M
David, M
注記：
His Computability & unsolvability, 1958
His Applied nonstandard analysis, c1982
His Computability, complexity, and languages, 1983: CIP t.p. (Martin D. Davis, Courant Inst. of Math. Sci., New York Univ.)
Ph.D. from Princeton
EDSRC:Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis, editor(Birkhäuser, 1994)
著者典拠ID：
DA00915927


1.

図書
図書
1. 超準解析
M.デービス著 ; 難波完爾訳
出版情報: 東京 : 培風館, 1982.11
所蔵情報: loading…
2.

図書
図書
2. 計算の理論
M.デーヴィス著 ; 渡辺茂, 赤攝也訳
出版情報: 東京 : 岩波書店, 1966.10
シリーズ名: 現代科学選書
所蔵情報: loading…