富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Recursive functions)
該当件数:7件
Computability / Klaus Weihrauch
Berlin : Tokyo : Springer-Verlag , c1987. - (EATCS monographs on theoretical computer science ; v. 9)
図書
Robot dynamics algorithms / by Roy Featherstone
Boston : Kluwer , c1987. - (The Kluwer international series in engineering and computer science ; SECS 22)
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
: pbk. - Cambridge, Mass. : MIT Press , c1987
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)
Theory of formal systems / by Raymond M. Smullyan
Princeton, N.J. : Princeton University Press , 1961. - (Annals of mathematics studies ; n. 47)
Computability & unsolvability / Martin Davis
New York : Toront ; London : McGraw-Hill , 1958. - (McGraw-Hill series in information processing and computers)