1.

図書
図書
1. Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers
Jens Blanck, Vasco Brattka, Peter Hertling (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2064
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 (: gw ; : us)
edited by J. Bečvář
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 74
所蔵情報: loading…