年 〜
年

検索結果 90 件

Recursion Theory

Recursion Theory
デジタル電子書籍・電子雑誌図書
Springer-Verlag1993
インターネットで読める国立国会図書館

Recursive theory of factors in graphs

Recursive theory of factors in graphs
紙デジタル博士論文障害者向け資料あり
小谷佳子 [著]<UT51-2000-B890>
インターネットで読める国立国会図書館

Galois Theory for Combinatory Algebras and its Application to Recursion Theory (ETH Diss. ; Nr. 11095)

Galois Theory for Combinatory Algebras and its Application to Recursion Theory (ETH Diss. ; Nr. 11095)
マイクロ博士論文
OLIVER PATRIK ANDREAS GLOOR.Eidgenössische Technische Hochschule Zürich1995.<LS-DISE-11095>
国立国会図書館

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1996.<MA41-A95>
国立国会図書館
  • 件名帰納法. Recursion theory.

Contributions to Higher Recursion Theory

Contributions to Higher Recursion Theory
マイクロ博士論文
Marcus, Sherry Elizabeth.Massachusetts Institute of Technology1993.<LS-DI-MIT-93-227>
国立国会図書館

Higher Recursion Theory

Higher Recursion Theory
デジタル電子書籍・電子雑誌図書
1990
インターネットで読める国立国会図書館

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
紙図書
North-Holland1989.<MA41-A57>
国立国会図書館
  • 件名帰納法. Recursion theory.

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks, eds. (Lecture notes in mathematics ; 1432)

Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks, eds. (Lecture notes in mathematics ; 1432)
紙図書
Springerc1990.<M15-A6937>
国立国会図書館全国の図書館

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)

Recursion theory / [edited by Anil Nerode, Richard A. Shore]. (Proceedings of symposia in pure mathematics ; v. 42)
紙図書
American Mathematical Society1985.<M15-A1069>
国立国会図書館
  • 件名Recursion theory -- Addresses, essays, lecture...
  • 一般注記...r Institute on Recursion Theory, held at Cornell University, ...
  • 著者標目...r Institute on Recursion Theory (1982 : Cornell University)

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)

Techniques of admissible recursion theory / C.T. Chong. (Lecture notes in mathematics ; 1106)
紙図書
Springer-Verlag1984.<MA41-A52>
国立国会図書館全国の図書館
  • 件名帰納法. Recursion theory.

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. (Lecture notes in mathematics ; 1141)
紙図書
Springer-Verlagc1985.<M15-A1383>
国立国会図書館全国の図書館
  • 件名Recursion theory -- Congresses.

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)
紙図書
North-Holland Pub. Co.c1981.<MA41-194>
国立国会図書館
  • 件名Recursion theory.

General Recursion Theory: An Axiomatic Approach

General Recursion Theory: An Axiomatic Approach
デジタル電子書籍・電子雑誌図書
1980
インターネットで読める国立国会図書館

Generalized Recursion Theoryの研究とその応用

Generalized Recursion Theoryの研究とその応用
紙図書
柘植利之, 名古屋大学1980-1982<Y151-S00546004>
国立国会図書館

Initial Segments in Ordinal Recursion Theory

Initial Segments in Ordinal Recursion Theory
マイクロ博士論文
Dorer, David John.Massachusetts Institute of Technology1979.<LS-DI-MIT-79-070>
国立国会図書館

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)
紙図書
Cambridge University Press1980.<MA41-165>
国立国会図書館
  • 件名Recursion theory -- Congresses. Recursive func...

Priority Arguments in Beta-Recursion Theory

Priority Arguments in Beta-Recursion Theory
マイクロ博士論文
Homer, Steven Elliot.Massachusetts Institute of Technology1978.<LS-DI-MIT-78-126>
国立国会図書館

Recursion theory and computational complexity : I ciclo 1979 Casa della gioventù universitaria Bressanone, 14-23-giugno 1979 / coordinatore, Gabriele Lolli.

Recursion theory and computational complexity : I ciclo 1979 Casa della gioventù universitaria Bressanone, 14-23-giugno 1979 / coordinatore, Gabriele Lolli.
紙図書
Liguori editorec1981.<M15-A4448>
国立国会図書館
  • 件名Recursion theory -- Addresses, essays, lecture...

Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks. (Studies in logic and the foundations of mathematics ; v. 94)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks. (Studies in logic and the foundations of mathematics ; v. 94)
紙図書
North-Holland Pub. Co.1978.<MA41-142>
国立国会図書館
  • 件名Recursion theory -- Congresses. Mathematics --...
  • 著者標目Symposium on Generalized Recursion Theory, 2d, University of Oslo, 1977...

Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman. (Studies in logic and the foundations of mathematics, v. 79)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman. (Studies in logic and the foundations of mathematics, v. 79)
紙図書
North-Holland Pub. Co.1974.<MA41-72>
国立国会図書館
  • 件名Recursion theory -- Congresses.
  • 著者標目Symposium on Generalized Recursion Theory, 1st, University of Oslo, 197...