Davis, Martin, 1928-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 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) |
生没年等 | 1928 |
から見よ参照 | Davis, Martin D., 1928- デービス, M.<デービス, M> David, M |
コード類 | 典拠ID=AU00542918 NCID=DA00915927 |
1 | 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳 東京 : 岩波書店 , 1966.10 |