富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Davis Martin)
該当件数:2件
計算の理論 / M.デーヴィス著 : 渡辺茂, 赤攝也訳
東京 : 岩波書店 , 1966.10. - (現代科学選書)
図書
Computability & unsolvability / Martin Davis
New York : Toront ; London : McGraw-Hill , 1958. - (McGraw-Hill series in information processing and computers)