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=AU00022333 NCID=DA00915927 |
| 1 | 超準解析 / M.デービス著 ; 難波完爾訳 東京 : 培風館 , 1982.11 |
| 2 | 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳 東京 : 岩波書店 , 1966.10 |
| 3 | Computability & unsolvability / Martin Davis New York ; Toront ; London : McGraw-Hill , 1958 |