本文に飛ぶ

年 〜
年

検索結果 109 件

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.

Initial algebras and terminal coalgebras : the theory of fixed points of functors

Initial algebras and terminal coalgebras : the theory of fixed points of functors
紙図書
Jiří Adámek, Stefan Milius, Lawrence S. MossCambridge University Press2025
全国の図書館

Recursion across domains : pbk

Recursion across domains : pbk
紙図書
edited by Luiz Amaral, Marcus Maia, Andrew Nevins, Tom RoeperCambridge University Press2020
全国の図書館

Abstract recursion and intrinsic complexity

Abstract recursion and intrinsic complexity
紙図書
Yiannis N. MoschovakisCambridge University Press2019
全国の図書館

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.

The recursive book of recursion : ace the coding interview with Python and JavaScript pbk.
紙図書
Al SweigartNo Starch Press2022
全国の図書館

Fundamentals of mathematical logic Special Indian ed.

Fundamentals of mathematical logic Special Indian ed.
紙図書
Peter G. HinmanCRC Press2020, c2005
全国の図書館

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain. (Contemporary Mathematics ; 604)
紙図書
American Mathematical Society[2013]<M17-15-883>
国立国会図書館全国の図書館

Recursion theory : computational aspects od definability

Recursion theory : computational aspects od definability
紙図書
Chi Tat Chong, Liang YuWalter de Gruyterc2015
全国の図書館

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.

How to think about algorithms : pbk 2nd ed.

How to think about algorithms : pbk 2nd ed.
紙図書
Jeff EdmondsCambridge University Pressc2024
全国の図書館

How to think about algorithms : hbk 2nd ed.

How to think about algorithms : hbk 2nd ed.
紙図書
Jeff EdmondsCambridge University Pressc2024
全国の図書館

Computability theory : an introduction to recursion theory

Computability theory : an introduction to recursion theory
紙図書
Herbert B. EndertonAcademic Press is an imprint of Elsevierc2011
全国の図書館

Computability theory : pbk

Computability theory : pbk
紙図書
Rebecca WeberAmerican Mathematical Societyc2012
全国の図書館

Potential wadge classes

Potential wadge classes
紙図書
Dominique LecomteAmerican Mathematical Societyc2012
全国の図書館

E-recursion, forcing and C*-algebras : [hardback] : pbk.

E-recursion, forcing and C*-algebras : [hardback] : pbk.
紙図書
editors, Chitat Chong ... [et al.]World Scientificc2014
全国の図書館

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)

The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller. (Lecture notes in physics. New series m, Monographs ; m23)
紙図書
Springer-Verlagc1994.<MC46-A52>
国立国会図書館
  • 件名多体問題. 量子統計力学. 帰納法. 数値計算. Many-body problem. Recursion theory. Numerical analysis.

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>
国立国会図書館

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>
国立国会図書館全国の図書館

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 / [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>
国立国会図書館
RSS