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=AU00045445 NCID=DA00915927 |
1 | 万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳 チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11 |
2 | 超準解析 / M.デービス著 ; 難波完爾訳 東京 : 培風館 , 1982.11 |
3 | 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳 東京 : 岩波書店 , 1966.10 |
4 | Introduction to modern algebra and matrix theory / by O. Schreier and E. Sperner ; translated by Martin Davis and Melvin Hausner New York : Chelsea Pub. Co , 1955 |