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=A000025076 NCID=DA00915927 |
1 | The universal computer : the road from Leibniz to Turing / Martin Davis Turing centenary ed. - Boca Raton, Fla. : CRC Press , c2011 |
2 | 数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳 東京 : コンピュータ・エージ社 , 2003.7 |