Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(3)
Enderton, Herbert B.
(2)
Ljungqvist, Lars.
(2)
Sargent, Thomas J.
(2)
SpringerLink (Online service)
(2)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(30)
Recursive functions.
(10)
MATHEMATICS -- Logic.
(7)
Fonctions récursives.
(6)
MATHEMATICS -- Infinity.
(6)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
00000000000000000000000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Formal systems and recursive functions
      1. 
      Formal systems and recursive functions
      by 
      Crossley, John N.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40
      Format: 
      Excerpt: 
      Formal systems and recursive functions / Crossley, John N.
      Cover image for Computability theory: an introduction
      2. 
      Computability theory: an introduction
      by 
      Jones, Neil D.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123900500
      Format: 
      Excerpt: 
      Mathematics Recursive functions Computability theory
      Cover image for Degrees of unsolvability
      3. 
      Cover image for Recursive functionals
      4. 
      Cover image for Elementary induction on abstract structures
      5. 
      Elementary induction on abstract structures
      by 
      Moschovakis, Yiannis N.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
      Format: 
      Excerpt: 
      Recursive functions.
      Cover image for Pyramid algorithms : a dynamic programming approach to curves and surfaces for geometric modeling
      6. 
      Cover image for Solutions manual for recursive methods in economic dynamics
      7. 
      Solutions manual for recursive methods in economic dynamics
      by 
      Irigoyen, Claudio.
      Click to View
      Format: 
      Excerpt: 
      Recursive functions.
      Cover image for Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
      8. 
      Cover image for Recursive macroeconomic theory
      9. 
      Recursive macroeconomic theory
      by 
      Ljungqvist, Lars.
      Click to View
      Format: 
      Excerpt: 
      Recursive functions.
      Cover image for Recursive macroeconomic theory
      10. 
      Recursive macroeconomic theory
      by 
      Ljungqvist, Lars.
      Click to View
      Format: 
      Excerpt: 
      Recursive functions.
      Cover image for Generalized recursion theory II : proceedings of the 1977 Oslo Symposium
      11. 
      Generalized recursion theory II : proceedings of the 1977 Oslo Symposium
      by 
      Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
      Format: 
      Excerpt: 
      Mathematics Recursive functions
      Cover image for Stochastic processes : estimation, optimization, & analysis
      12. 
      Cover image for Regression and the Moore-Penrose pseudoinverse
      13. 
      Regression and the Moore-Penrose pseudoinverse
      by 
      Albert, Arthur E.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120484508
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=00765392&volume=94
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00765392/94
      Format: 
      Excerpt: 
      -- The general linear hypothesis -- Constrained least squares, penalty functions, and BLUE's -- Recursive
      Cover image for Recursive analysis
      14. 
      Recursive analysis
      by 
      Goodstein, R. L. (Reuben Louis)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/29
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=29
      Format: 
      Excerpt: 
      Recursive convergence -- Recursive and relative continuity -- Relative integral -- Elementary
      Cover image for A study in the philosophy of science
      15. 
      A study in the philosophy of science
      by 
      Beth, Evert Willem.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
      Format: 
      Excerpt: 
      topological methods -- Theory of recursive functions and the negative results concerning the decision problem
      Cover image for Computability theory : an introduction to recursion theory
      16. 
      Computability theory : an introduction to recursion theory
      by 
      Enderton, Herbert B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123849588
      Format: 
      Excerpt: 
      The computability concept -- General recursive functions -- Programs and machines -- Recursive
      Cover image for A mathematical introduction to logic
      17. 
      A mathematical introduction to logic
      by 
      Enderton, Herbert B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
      Format: 
      Excerpt: 
      Number Theory -- Arithmetization of Syntax -- Incompleteness and Undecidability -- Recursive Functions
      Cover image for Economic Model Predictive Control Theory, Formulations and Chemical Process Applications
      18. 
      Economic Model Predictive Control Theory, Formulations and Chemical Process Applications
      by 
      Ellis, Matthew. author.
      http://dx.doi.org/10.1007/978-3-319-41108-8
      Format: 
      Excerpt: 
      -varying cost functions, time-delays and multiple-time-scale dynamics. The proposed methods employ a variety of
      Cover image for Handbook of proof theory
      19. 
      Handbook of proof theory
      by 
      Buss, Samuel R.
      to access electronic resource via ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
      Format: 
      Excerpt: 
      Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory
      Cover image for Digital control and signal processing systems and techniques
      20. 
      Digital control and signal processing systems and techniques
      by 
      Leondes, Cornelius T.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120127788
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00905267/78
      Format: 
      Excerpt: 
      -To-Z Mapping Functions and Their Application to Digital Signal Processing. Design of 2-Dimensional Recursive
      Cover image for Constructivism in mathematics : an introduction. Volume 1
      21. 
      Constructivism in mathematics : an introduction. Volume 1
      by 
      Troelstra, A. S. (Anne Sjerp)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444702661
      Format: 
      Excerpt: 
      1. Informal arithmetic and primitive recursive functions2. Primitive recursive arithmetic PRA; 3
      Cover image for Computability, complexity, and languages : fundamentals of theoretical computer science
      22. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Excerpt: 
      Functions; 5. More about Macros; CHAPTER 3. Primitive Recursive Functions
      Cover image for Dynamics of Coupled Structures, Volume 4 Proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics 2017
      23. 
      Dynamics of Coupled Structures, Volume 4 Proceedings of the 35th IMAC, A Conference and Exposition on Structural Dynamics 2017
      by 
      Allen, Matthew S. editor.
      http://dx.doi.org/10.1007/978-3-319-54930-9
      Format: 
      Excerpt: 
      . Optimal Transformation of Frequency Response Functions on Interface Deformation Modes -- Chapter21. A
      Cover image for Mathematica navigator : mathematics, statistics, and graphics
      24. 
      Mathematica navigator : mathematics, statistics, and graphics
      by 
      Ruskeepää, Heikki.
      ScienceDirect https://www.sciencedirect.com/science/book/9780123741646
      Format: 
      Excerpt: 
      (Patterns; String Patterns) 17. FUNCTIONS (User-Defined Functions; More about Functions; Contexts and
      Cover image for Classical recursion theory : the theory of functions and sets of natural numbers
      25. 
      Classical recursion theory : the theory of functions and sets of natural numbers
      by 
      Odifreddi, Piergiorgio, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=143
      Format: 
      Excerpt: 
      Preface. Introduction. Theories of Recursive functions. Hierarchies of recursive functions
      Cover image for Handbook of computability theory
      26. 
      Handbook of computability theory
      by 
      Griffor, Edward R.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/140
      Format: 
      Excerpt: 
      -- Classifying recursive functions / H. Schwichtenberg -- Computation models and function algebras / P. Clote
      Cover image for Theories of computational complexity
      27. 
      Cover image for Fractals in physics : proceedings of the Sixth Trieste International Symposium on Fractals in Physics, ICTP, Trieste, Italy, July 9-12, 1985
      28. 
      Fractals in physics : proceedings of the Sixth Trieste International Symposium on Fractals in Physics, ICTP, Trieste, Italy, July 9-12, 1985
      by 
      International Symposium on Fractals in Physics (6th : 1985 : Trieste, Italy)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444869951
      Format: 
      Excerpt: 
      FUNCTIONS; 6. SELF-AFFINE RECURSIVE PLANAR FRACTALSWHOSE PROJECTIONS FILL THE AXES; 7. SELF-AFFINE PLANAR
      Cover image for Foundational studies : selected works. Volume II
      29. 
      Foundational studies : selected works. Volume II
      by 
      Mostowski, Andrzej.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/93/part/PB
      Format: 
      Excerpt: 
      Chapter 17. A lemma concerning recursive functions and its applicationsChapter 18. A formula with
      Cover image for Algebraic methods of mathematical logic
      30. 
      Algebraic methods of mathematical logic
      by 
      Rieger, Ladislav, 1916-1963.
      ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
      Format: 
      Excerpt: 
      -syntactic rules; 3.2. Fundamental descriptively-semantic rules; definition of truth of a sentence; 3.3. Recursive
      Cover image for Information modeling and relational databases
      31. 
      Information modeling and relational databases
      by 
      Halpin, T. A.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123735683
      Format: 
      Excerpt: 
      and Bag Functions -- 12.10 SQL: Grouping -- 12.11 SQL: Correlated and Existential Subqueries -- 12.12
      Cover image for Joe Celko's thinking in sets : auxiliary, temporal, and virtual tables in SQL
      32. 
      Joe Celko's thinking in sets : auxiliary, temporal, and virtual tables in SQL
      by 
      Celko, Joe.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123741370
      Format: 
      Excerpt: 
      _SCHEMA Assertions -- 8 Complicated Functions via Tables -- 8.1 Functions without a Simple Formula -- 8.1.1