Jump to main content

yr 〜
yr

Search results 21

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks
Paper図書
editors, Chitat Chong ... [et al.]World Scientificc2008
Other Libraries in Japan

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel (eds.). (Lecture notes in mathematics ; 1333)
Paper図書
Springer-Verlagc1988.<M15-A3734>
National Diet Library
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresses.

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)
Paper図書
Springer-Verlagc1985.<M15-A1383>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingRecursion theory -- Congresses.

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis. (Lecture notes in mathematics ; 1019)

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis. (Lecture notes in mathematics ; 1019)
Paper図書
Springer-Verlag1983.<M15-A1841>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresses.

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)
Paper図書
Springer-Verlagc1985.<MC141-A9>
National Diet LibraryOther Libraries in Japan
  • Subject Heading固体. 帰納的関数. Solid state physics -- Methodology -- Congresses. Recursion theory -- Congresses.

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)
Paper図書
Cambridge University Press1980.<MA41-165>
National Diet Library
  • Subject HeadingRecursion theory -- Congresses. Recursive functions -- Congre...

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)
Paper図書
North-Holland Pub. Co.1980.<MA41-111>
National Diet Library
  • Subject HeadingKleene, Stephen Cole, 1909- Recursion theory -- Congresses. Intuitionistic mathematics --...

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)
Paper図書
North-Holland Pub. Co.1978.<MA41-142>
National Diet Library
  • Subject HeadingRecursion theory -- Congresses. Mathematics -- Recursive func...

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)
Paper図書
North-Holland Pub. Co.1974.<MA41-72>
National Diet Library
  • Subject HeadingRecursion theory -- Congresses.

Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar. (Lecture notes in mathematics)

Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar. (Lecture notes in mathematics)
Paper図書
Springer-Verlagc1978-<MA41-141>
National Diet Library
  • Subject HeadingSet theory -- Congresses. Recursion theory -- Congresses. Logic, Symbolic and mathemati...

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński. (Lecture notes in computer science ; 56)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński. (Lecture notes in computer science ; 56)
Paper図書
Springer-Verlag1977.<MA41-127>
National Diet Library
  • Subject HeadingRecursion theory -- Congresses. Computational complexity -- C...

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 : gw : us

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 : gw : us
Paper図書
edited by H.-D. Ebbinghaus, G.H. Müller and G.E. SacksSpringer-Verlagc1985
Other Libraries in Japan

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 : gw : us

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 : gw : us
Paper図書
editors, D.G. Pettifor and D.L. WeaireSpringer-Verlagc1985
Other Libraries in Japan

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 : gw : us

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 : gw : us
Paper図書
edited by A.S. Kechris, D.A. Martin and Y.N. MoschovakisSpringer-Verlag1983
Other Libraries in Japan

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 : pbk.

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 : pbk.
Paper図書
edited by F.R. Drake and S.S. WainerCambridge University Press1980
Other Libraries in Japan

Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 : Berlin : New York

Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 : Berlin : New York
Paper図書
edited by A.S. Kechris, D.A. Martin, and Y.N. MoschovakisSpringer-Verlag1981
Other Libraries in Japan

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Paper図書
edited by J.E. Fenstad, R.O. Gandy, G.E. SacksUT Back-in-Print Servicec1978
Other Libraries in Japan

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Paper図書
edited by J.E. Fenstad, R.O. Gandy, G.E. SacksNorth-Holland Pub. Co.1978
Other Libraries in Japan

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Paper図書
edited by Jon Barwise, H. Jerome Keisler, Kenneth KunenNorth-Holland Pub. Co.1980
Other Libraries in Japan

Generalized recursion theory : proceedings of the 1972 Oslo symposium : North-Holland : American Elsevier

Generalized recursion theory : proceedings of the 1972 Oslo symposium : North-Holland : American Elsevier
Paper図書
ed. by J. E. Fenstad and P. G. HinmanNorth-Holland Pub. Co.1974
Other Libraries in Japan
RSS