著者典拠情報

標目形：
Shore, Richard A., 1946-
属性：
Personal
日付：
1946-
注記：
Recursion theory, 1984: CIP pref. (Richard A. Shore) CIP data sheet (b. 8/18/46)
著者典拠ID：
DA00983246


 close
1.

図書
図書
1. Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder
Peter A. Cholak, Steffen Lempp, Manuel Lerman, Richard A. Shore, editors
出版情報: Providence, R.I. : American Mathematical Society, c2000
シリーズ名: Contemporary mathematics ; v. 257
所蔵情報: loading…
2.

図書
図書
2. Logic for applications. 2nd ed
Anil Nerode and Richard A. Shore
出版情報: New York : Springer, c1997
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
3.

図書
図書
3. Logic for applications (: us ; : gw)
Anil Nerode, Richard A. Shore
出版情報: New York : Springer-Verlag, c1993
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
4.

図書
図書
4. Recursion theory
[edited by Anil Nerode, Richard A. Shore]
出版情報: Providence, R.I. : American Mathematical Society, c1985
シリーズ名: Proceedings of symposia in pure mathematics ; v. 42
所蔵情報: loading…