東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Recursion theory)
該当件数:12件
Thinking recursively / Eric Roberts
New York : J. Wiley , c1986
図書
Thinking recursively with Java / Eric Roberts
Hoboken, NJ : J. Wiley , c2006
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer
Cambridge : Cambridge Univ. Pr. , 1980. - New York. - (London Mathematical Society lecture note series ; 45)
Algorithm design : a recursion transformation framework / Marvin C. Paull
New York : Wiley , c1988
Complexity, logic, and recursion theory / edited by Andrea Sorbi
New York : Marcel Dekker , c1997. - (Lecture notes in pure and applied mathematics ; v. 187)
Computability theory / Rebecca Weber
: pbk. - Providence, R.I. : American Mathematical Society , c2012. - (Student mathematical library ; v. 62)
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
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in mathematics ; 1141)
Regressive sets and the theory of isols / Thomas G. McLaughlin
New York : M. Dekker , c1982. - (Lecture notes in pure and applied mathematics ; v. 66)
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Cambridge : Cambridge Univ. Pr. , 1996. - (London Mathematical Society lecture note series ; 224)
Subrecursion : functions and hierarchies / H. E. Rose
Oxford [Oxfordshire] : Clarendon Pr. , 1984. - New York : Oxford Univ. Pr.. - (Oxford logic guides ; 9)
First-order dynamic logic / David Harel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979. - (Lecture notes in computer science ; 68)
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)