京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Davis Martin)
該当件数:8件
The universal computer : the road from Leibniz to Turing / Martin Davis
1st ed. - New York : Norton , c2000
図書
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
A first course in functional analysis / Martin Davis
New York : Gordon and Breach , c1966. - (Notes on mathematics and its applications)
Differential and integral calculus / by Edmund Landau ; translated from the German by Melvin Hausner and Martin Davis
3rd ed. - New York : Chelsea , 1980, c1965
超準解析 / M.デービス著 ; 難波完爾訳
東京 : 培風館 , 1982.11
万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳
チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11
Lecture notes on mathematical logic / Martin Davis ; based on student notes by Allen Weingarten
[New York] : New York University , 1959
計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳
東京 : 岩波書店 , 1966.10. - (現代科学選書)