富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Recursion theory)
該当件数:7件
Algorithms for Constructing Computably Enumerable Sets / by Kenneth J. Supowit
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
電子ブック
Programs as Diagrams : From Categorical Computability to Computable Categories / by Dusko Pavlovic
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Theory and Applications of Computability, In cooperation with the association Computability in Europe. ISSN:21906203)
Computability / by George Tourlakis
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Undergraduate Topics in Computer Science. ISSN:21971781)
Reverse Mathematics : Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Theory and Applications of Computability, In cooperation with the association Computability in Europe. ISSN:21906203)
Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev
Dordrecht : Boston : Kluwer Academic Publishers , c1992. - (Mathematics and its applications ; . East European series ; v. 55)
図書
Higher recursion theory / Gerald E. Sacks
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1990. - (Perspectives in mathematical logic)