富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computability and Recursion Theory)
該当件数:5件
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)