Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-10 of 10)
Recursive Functions
1
Electronic Book
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
2
Electronic Book
 

Formalized recursive functionals and formalized realizability


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
3
Electronic Book
 

Hierarchies of predicates of finite types


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
4
Electronic Book
 

Minimal degrees of unsolvability and the full approximation construction


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
5
Electronic Book
 

Recursive identification and parameter estimation


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
6
Electronic Book
 

Solutions manual for recursive methods in economic dynamics


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
7
Electronic Book
 

Stochastic processes : estimation, optimization, & analysis



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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
8
Print Material
 

Theory of recursive functions and effective computability.


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

Rating:

 

Copies

Location Call No. OPAC Message Status
 Axe 2nd Floor Stacks  517.5 R632t    ---  Available
Recursive Functions Data Processing
9
Electronic Book
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Recursively Enumerable Sets
10
Electronic Book
 

Automorphisms of the lattice of recursively enumerable sets


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only