検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Computablefunctions
選択行を：
11 件中の　1-1012
資料名所在
1Computability : a mathematical sketchbook / Douglas S. Bridges ; : us, : gw. -- Springer-Verlag, c1994. -- (Graduate texts in mathematics ; 146).理数学 410.9:B
教養共４Ｆ哲学 410.9:B
2Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. -- Cambridge University Press, 1996. -- (London Mathematical Society lecture note series ; 224).理数学 410.9:C
3Computability 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. -- American Mathematical Society, c2000. -- (Contemporary mathematics ; v. 257).理数学 418:C
4Computation and automata / Arto Salomaa. -- Cambridge University Press, 1985. -- (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 25).図書館(書庫) 007.1:S
5A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability / Rod Downey, Noam Greenberg ; : pbk, : [hardback]. -- Princeton University Press, 2020. -- (Annals of mathematics studies ; no. 206).理数学 410.9:D
6Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis. -- MIT Press, c1993. -- (Foundations of computing).理数学 412:M
7Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor. -- American Mathematical Society, c1990. -- (Contemporary mathematics ; 106).理数学 410.9:L
8Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka ; , : pbk. -- D. Reidel, c1977. -- (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1)(The University of Western Ontario series in philosophy of science ; v. 9).図書館(書庫) 410.1:I
9Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. -- Cambridge University Press, 1999. -- (London Mathematical Society lecture note series ; 259).理数学 410:C
10Theory of recursive functions and effective computability / Hartley Rogers, Jr ; : pbk. -- MIT Press, 1987.図書館(書庫) 410.9:R
11 件中の　1-1012
選択行を：
▲ページトップへ