Welcome to the Kids' Library!

An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem

Lombardi, Henri, author.
Providence, Rhode Island : American Mathematical Society, 2020. 2020

Formalized recursive functionals and formalized realizability

Kleene, Stephen Cole, 1909-1994, author.
Providence : American Mathematical Society, 1969. 1969

Hierarchies of predicates of finite types

Clarke, Douglas Albert, author.
Providence : American Mathematical Society, 1964. 1964

Minimal degrees of unsolvability and the full approximation construction

Epstein, Richard L., 1947- author.
Providence : American Mathematical Society, [1975] 1975

Recursive identification and parameter estimation

Chen, Hanfu, author.
Boca Raton, Florida : CRC Press, 2014. 2014

Solutions manual for recursive methods in economic dynamics

Irigoyen, Claudio.
Cambridge, MA ; London : Harvard University Press, 2002. 2002

Stochastic processes : estimation, optimization, & analysis

London ; Sterling, VA : Kogan Page Science, 2004. 2004

Theory of recursive functions and effective computability.

Rogers, H. (Hartley), 1926-
New York, McGraw-Hill [1967] 1967

Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling

Goldman, Ron, 1947-
San Francisco, Calif. : Morgan Kaufmann, 2003. 2003

Automorphisms of the lattice of recursively enumerable sets

Cholak, Peter, 1962- author.
Providence, Rhode Island : American Mathematical Society, 1995. 1995