東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Davis Martin)
該当件数:6件
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
Hewlett, N.Y. : Raven Press , c1965
図書
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
Sourcebook on contract law / David Oughton and Martin Davis
2nd ed. - London : Cavendish , 2000
Differential and integral calculus / by Edmund Landau ; translated from the German by Melvin Hausner and Martin Davis
3rd ed.. - Providence, R.I. : American Mathematical Society , 2001
超準解析 / M.デービス著 ; 難波完爾訳
東京 : 培風館 , 1982.11
計算の理論 / M.デーヴィス著 ; 渡辺茂, 赤攝也訳
東京 : 岩波書店 , 1966.10. - (現代科学選書)