Loading…

QR Code

Theory of recursive functions and effective computability / by H. Rogers.

Saved in:

Bibliographic Details
Main Author:	Rogers, H.
Format:	Book
Language:	English
Published:	McGraw-Hill, 1967
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Recursive functions in computer theory / by R. Peter.
by: Peter, R.
Published: (1981)

Computability : an introduction to recursive function theory / Nigel Cutland.
by: Cutland, Nigel
Published: (1980)

Recursive functions / [translated by István Földes].
by: Peter, Rózsa
Published: (1967)

Recursion on the countable functionals Dag Normann.
by: Normann, Dag, 1947-
Published: (1980)

Computability theory : an introduction to recursion theory / Herbert B. Enderton.
by: Enderton, Herbert B.
Published: (2011)

Enumerability, decidability, computability : an introduction to the theory of recursive functions ; translated [from the German] by G.T. Hermann and O. Plassman.
by: Hermes, Hans
Published: (1969)

Recursion theory / Joseph R. Shoenfield.
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Techniques of admissible recursion theory C.T. Chong.
by: Chong, C.-T (Chi-Tat), 1949-
Published: (1984)

Thinking recursively / Eric Roberts.
by: Roberts, Eric, 19---
Published: (1986)

Recursive simulation of quantum annealing
by: A.P. Sowa, et al.
Published: (2015)

Theory and practice of recursive identification / Lennart Ljung, Torsten Söderström.
by: Ljung, Lennart
Published: (1983)

Recursive macroeconomic theory / Lars Ljungqvist, Thomas J. Sargent.
by: Ljungqvist, Lars
Published: (2004)

Recursive segmentation for as-is bridge information modelling
by: Ruodan Lu, et al.
Published: (2017)

Capital theory, equilibrium analysis and recursive utility / Robert A. Becker and John H. Boyd.
by: Becker, Robert A., 1943-
Published: (1997)

Recursive filter with partial knowledge on inputs and outputs
by: Jinya Su, et al.
Published: (2015)

On recursive feasibility and stability of constrained output regulation
by: Jinhao Liu, et al.
Published: (2024)

Model predictive control with preview: recursive feasibility and stability
by: Xing Fang, et al.
Published: (2022)

The recursive decoupling method for solving tridiagonal linear systems
by: Giulia Spaletta
Published: (1991)

B-spline surfaces over an irregular topology by recursive subdivision
by: David J. Storry
Published: (1984)

Projecting Russia in a mediatized world recursive nationhood / Stephen Hutchings.
by: Hutchings, Stephen C.
Published: (2022)

Motion compensation for image compression: pel-recursive motion estimation algorithm
by: Hamid R. Reza-Alikhani
Published: (2002)

Nonlinear recursive estimation with estimability analysis for physical and semiphysical engine model parameters
by: Ioannis Souflas, et al.
Published: (2015)

A recursive construction of joint eigenfunctions for the hyperbolic nonrelativistic Calogero-Moser Hamiltonians
by: Martin Hallnas, et al.
Published: (2015)

Marine corrosion / by T.H. Rogers.
by: Rogers, T. H.
Published: (1968)

Nonsmooth adaptive control for uncertain nonlinear systems: a non-recursive design approach
by: Chuanlin Zhang, et al.
Published: (2021)

Non-linear recursive parameter estimation applied to fault detection and diagnosis in real buildings
by: Richard Buswell, et al.
Published: (2002)

The art of visual effects / Pauline B. Rogers.
by: Rogers, Pauline B. (Pauline Bonnie)
Published: (1999)

Approximate Gaussian conjugacy: parametric recursive filtering under nonlinearity, multimodality, uncertainty, and constraint, and beyond
by: Tiancheng Li, et al.
Published: (2017)

Recursive estimation of average vehicle time headway using single inductive loop detector data
by: Baibing Li
Published: (2012)

Organizational theory / (by) Rolf E. Rogers.
by: Rogers, Rolf E
Published: (1975)

Computer methods for the range of functions / H. Ratschek and J. Rokne.
by: Ratschek, H.
Published: (1984)

Computational chemistry using the PC / Donald W. Rogers.
by: Rogers, Donald W., 1932-
Published: (2003)

Supermanifolds : theory and applications / Alice Rogers.
by: Rogers, Alice (Frances Alice)
Published: (2007)

A Lyapunov-based approach for recursive continuous higher order nonsingular terminal sliding-mode control
by: Jun Yang, et al.
Published: (2020)

HCI theory classical, modern, and contemporary / Yvonne Rogers.
by: Rogers, Yvonne
Published: (2012)

Recursion theory week proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks.
Published: (1985)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
Published: (1980)

Theory of functions of real variables / by H.P. Thielman.
by: Thielman, H. P.
Published: (1953)

Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas, Jr., with Edward C. Prescott.
by: Stokey, Nancy L.
Published: (1989)