本文に飛ぶ

年 〜
年

検索結果 21 件

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

Computational prospects of infinity pt. 1 : Tutorials pt. 2 : Presented talks
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2008
全国の図書館
  • 件名Recursion theory -- Congresses Set theory -- Congresses Infi...
  • 件名（識別子）Recursion theory -- Congresses Set theory -- Congresses Infi...

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)
紙図書
Springer-Verlagc1988.<M15-A3734>
国立国会図書館
  • 件名Set 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)
紙図書
Springer-Verlagc1985.<M15-A1383>
国立国会図書館全国の図書館
  • 件名Recursion 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)
紙図書
Springer-Verlag1983.<M15-A1841>
国立国会図書館全国の図書館
  • 件名Set 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)
紙図書
Springer-Verlagc1985.<MC141-A9>
国立国会図書館全国の図書館
  • 件名固体. 帰納的関数. 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)
紙図書
Cambridge University Press1980.<MA41-165>
国立国会図書館
  • 件名Recursion theory -- Congresses. Recursive functions -- Congr...

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)
紙図書
North-Holland Pub. Co.1980.<MA41-111>
国立国会図書館
  • 件名Kleene, 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)
紙図書
North-Holland Pub. Co.1978.<MA41-142>
国立国会図書館
  • 件名Recursion theory -- Congresses. Mathematics -- Recursive fun...

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.

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

Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar. (Lecture notes in mathematics)
紙図書
Springer-Verlagc1978-<MA41-141>
国立国会図書館
  • 件名Set theory -- Congresses. Recursion theory -- Congresses. Logic, Symbolic and mathemat...

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)
紙図書
Springer-Verlag1977.<MA41-127>
国立国会図書館
  • 件名Recursion theory -- Congresses. Computational complexity -- ...

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
紙図書
edited by H.-D. Ebbinghaus, G.H. Müller and G.E. SacksSpringer-Verlagc1985
全国の図書館
  • 件名Recursion theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses

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
紙図書
editors, D.G. Pettifor and D.L. WeaireSpringer-Verlagc1985
全国の図書館
  • 件名Solid state physics -- Methodology -- Congresses Recursion theory -- Congresses
  • 件名（識別子）Solid state physics -- Methodology -- Congresses Recursion theory -- Congresses

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
紙図書
edited by A.S. Kechris, D.A. Martin and Y.N. MoschovakisSpringer-Verlag1983
全国の図書館
  • 件名Set theory -- Congresses Recursion theory -- Congresses
  • 件名（識別子）Set theory -- Congresses Recursion theory -- Congresses

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.
紙図書
edited by F.R. Drake and S.S. WainerCambridge University Press1980
全国の図書館
  • 件名Recursion theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses

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
紙図書
edited by A.S. Kechris, D.A. Martin, and Y.N. MoschovakisSpringer-Verlag1981
全国の図書館
  • 件名Recursion theory -- Congresses Set theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses Set theory -- Congresses

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
紙図書
edited by J.E. Fenstad, R.O. Gandy, G.E. SacksUT Back-in-Print Servicec1978
全国の図書館
  • 件名Recursion theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
紙図書
edited by J.E. Fenstad, R.O. Gandy, G.E. SacksNorth-Holland Pub. Co.1978
全国の図書館
  • 件名Recursion theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses

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.
紙図書
edited by Jon Barwise, H. Jerome Keisler, Kenneth KunenNorth-Holland Pub. Co.1980
全国の図書館
  • 件名Recursion theory -- Congresses Intuitionistic mathematics --...
  • 件名（識別子）Recursion theory -- Congresses Intuitionistic mathematics --...

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
紙図書
ed. by J. E. Fenstad and P. G. HinmanNorth-Holland Pub. Co.1974
全国の図書館
  • 件名Recursion theory -- Congresses
  • 件名（識別子）Recursion theory -- Congresses
RSS