富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computable functions)
該当件数:12件
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)
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書
Computability / Klaus Weihrauch
Berlin : Tokyo : Springer-Verlag , c1987. - (EATCS monographs on theoretical computer science ; v. 9)
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
: pbk. - Cambridge, Mass. : MIT Press , c1987
Computation and automata / Arto Salomaa
Cambridge [Cambridgeshire] : Cambridge University Press , 1985. - (Encyclopedia of mathematics and its applications ; v. 25)
Computability theory: an introduction / by Neil D. Jones
New York : Academic Press , 1973. - (ACM monograph series)
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes : translated by G.T. Hermann and O. Plassmann
2nd rev. ed. - Berlin : New York : Springer , 1969. - (Grundlehren der mathematischen Wissenschaften ; Bd. 127)
Computability & unsolvability / Martin Davis
New York : Toront ; London : McGraw-Hill , 1958. - (McGraw-Hill series in information processing and computers)