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) |
| Dates of Birth and Death | 1928 |
| から見よ参照 | Davis, Martin D., 1928- デービス, M.<デービス, M> David, M |
| コード類 | 典拠ID=AU20011325 NCID=DA00915927 |
| 1 | 万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳 チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11 |
| 2 | The universal computer : the road from Leibniz to Turing / Martin Davis 1st ed. - New York : Norton , c2000 |
| 3 | 超準解析 / M.デービス著 ; 難波完爾訳 東京 : 培風館 , 1982.11 |
| 4 | Computability & unsolvability / Martin Davis : pbk. - Dover ed. - New York : Dover , 1982 |
| 5 | 計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳 東京 : 岩波書店 , 1966.10 |
| 6 | A first course in functional analysis / Martin Davis New York : Gordon and Breach , c1966 |
| 7 | Lecture notes on mathematical logic / Martin Davis ; based on student notes by Allen Weingarten [New York] : New York University , 1959 |