著者典拠情報

著者標目形：
Davis, Martin, 1928-
属性：
Personal
日付：
1928
から見よ参照形：
Davis, Martin D., 1928-
デービス, M.||デービス, M
David, M
注記：
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)
著者典拠ID：
DA00915927


1.

図書
図書
1. Computability, complexity, and languages : fundamentals of theoretical computer science. 2nd. ed
Martin D. Davis, Ron Sigal, Elaine J. Weyuker
出版情報: Boston : Academic Press, c1994
シリーズ名: Computer science and scientific computing
所蔵情報: 図書館
2.

図書
図書
2. Computability, complexity, and languages : fundamentals of theoretical computer science
Martin D. Davis, Elaine J. Weyuker
出版情報: Orlando, Fla. : Academic Press, 1983
シリーズ名: Computer science and applied mathematics
所蔵情報: 図書館
3.

図書
図書
3. 超準解析
M.デービス著 ; 難波完爾訳
出版情報: 東京 : 培風館, 1982.11
所蔵情報: 図書館
4.

図書
図書
4. Applied nonstandard analysis
Martin Davis
出版情報: New York : Wiley, c1977
シリーズ名: Pure and applied mathematics
A Wiley-Interscience publication
所蔵情報: 図書館
5.

図書
図書
5. Lectures on modern mathematics
by Martin Davis
出版情報: New York : Gordon and Breach, c1967
シリーズ名: Notes on mathematics and its applications
所蔵情報: 図書館
6.

図書
図書
6. A first course in functional analysis
Martin Davis
出版情報: New York : Gordon and Breach, c1966
シリーズ名: Notes on mathematics and its applications
所蔵情報: 図書館
7.

図書
図書
7. 計算の理論
M.デーヴィス著 ; 渡辺茂, 赤攝也訳
出版情報: 東京 : 岩波書店, 1966.10
シリーズ名: 現代科学選書
所蔵情報: 図書館, 研究室
8.

図書
図書
8. Differential and integral calculus. 3rd ed
by Edmund Landau ; translated from the German by Melvin Hausner and Martin Davis
出版情報: New York : Chelsea Publishing, c1965
所蔵情報: 図書館
9.

図書
図書
9. Computability & unsolvability
Martin Davis
出版情報: New York ; Toronto ; London : McGraw-Hill, 1958
シリーズ名: McGraw-Hill series in information processing and computers
所蔵情報: 図書館