subjectheading:[Recursive functions.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Recursive functions.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Formalized recursive functionals and formalized realizability / by S.C. Kleene. Kleene, Stephen Cole, 1909-1994, author. Providence : American Mathematical Society, 1969. QA9.615 .K54 1969 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Minimal degrees of unsolvability and the full approximation construction / Richard L. Epstein. Epstein, Richard L., 1947- author. Providence : American Mathematical Society, [1975] ©1975 QA9.63 .E67 1975 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Recursive function theory. [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society] Symposium in Pure Mathematics (5th : 1961 : New York) Providence, American Mathematical Society, 1962. QA248.5 .S9 1961 \| Map It \| Detailed record - Similar records
4.	Multigrammatical framework for knowledge-based digital economy / Igor A. Sheremet. Sheremet, I. A., 1956- author. Cham, Switzerland : Springer, 2022. QA76.76.E95 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Recursive identification and parameter estimation / Han-Fu Chen, Wenxiao Zhao. Chen, Hanfu, author. Boca Raton, Florida : CRC Press, 2014. ©2014 TA168 .C446 2014 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem / Henri Lombardi, Daniel Perrucci, Marie-Françoise Roy[...] Lombardi, Henri, author.; Perrucci, Daniel, author.; Roy, M.-F. (Marie-Françoise), [...] Providence, Rhode Island : American Mathematical Society, 2020. QA161.P59 .L66 2020 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Hierarchies of predicates of finite types / by D.A. Clarke. Clarke, Douglas Albert, author. Providence : American Mathematical Society, 1964. QA241 .C53 1964 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Solutions manual for recursive methods in economic dynamics/ Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L.J. Wright. Irigoyen, Claudio.; Rossi-Hansberg, Esteban.; Wright, Mark L. J.; Stokey, Nancy L. Rec[...] Cambridge, MA ; London : Harvard University Press, 2002. HB135 .I75 2002 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Super-recursive algorithms / Mark Burgin. Burgin, M. S. (Mark Semenovich) New York, NY : Springer, c2005. QA9.615 .B87 2005 \| Map It \| Detailed record - Similar records
10.	Computability and logic [electronic resource]. Boolos, George.; Burgess, John P., 1948-; Jeffrey, Richard C. Cambridge ; New York : Cambridge University Press, 2002. QA9.59 .B66 2002eb \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.