Introduction to computability /

Introduction to computability /

41

Bibliografiske detaljer
Hovedforfatter:	430261 Hennie, Frederick C.
Format:
Udgivet:	Reading Mass. : Addison-Wesley, 1977
Fag:	Recursive functions

Lignende værker

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
af: 430372 Hermes, Hans
Udgivet: (1969)

Computability : an introduction to recursive function theory /
af: 367112 Cutland, Nigel
Udgivet: (1980)

Computability and unsolvability /
af: 429964 Davis, Martin
Udgivet: (1958)

Computations in higher types /
af: 430417 Moldestad, Johan
Udgivet: (1977)

Theory of recursive functions and effective computability /
af: 430645 Rogers, Hartley
Udgivet: (1967)

Computability
af: 8545 Open University. Computing and Computers Course Team
Udgivet: (1973)

Computability theory : an introduction to recursion theory /
af: 461543 Enderton, Herbert B.
Udgivet: (c201)

Introduction to the theory of computation /
af: 460476 Engeler, Erwin
Udgivet: (1973)

E-recursively enumerable degrees
af: Griffor, Edward R.
Udgivet: (2005)

Recursiveness /
af: 430157 Eilenberg, Samuel
Udgivet: (1970)

Recursive functions /
af: 430594 Peter, Rozsa
Udgivet: (1967)

Degrees of unsolvability /
af: 430728 Sacks, Gerald E.
Udgivet: (1966)

Generalized recursion theory
Udgivet: (1974)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
af: 429964 Davis, Martin
Udgivet: (1965)

Computability and logic /
af: 386993 Boolos, George, et al.
Udgivet: (1974)

Computability and logic /
af: 386993 Boolos, George, et al.
Udgivet: (1989)

An introduction to the general theory of algorithms /
af: 450394 Machtey, Michael, et al.
Udgivet: (1978)

Computability with pascal /
af: 248310 Mallozzi, John S., et al.
Udgivet: (1984)

Stable recursions : with applications to the numerical solution to stiff systems /
af: 239720 Cash, J. R.
Udgivet: (1979)

Turing machines and functions [filem]
Udgivet: (1973)

Constructive order types /
af: 436319 Crossley, John N.
Udgivet: (1969)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
af: 308908 Kleene, Stephen Cole
Udgivet: (1965)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
af: Ahmad Nor Alifa A. Razap, 1984-, et al.
Udgivet: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
af: Ahmad Nor Alifa A. Razap, 1984-
Udgivet: (2011)

Turing machines and functions [kasetvideo]
Udgivet: (1973)

Finite-state models for logical machines /
af: 430261 Hennie, Frederick C.
Udgivet: (1968)

Verification of Programs with Mutual Recursion in the Pifagor Language
af: Mariya S. Ushakov, et al.
Udgivet: (2018-08-01)

Computable analysis /
af: 367053 Aberth, Oliver
Udgivet: (1980)

On the Recursive Sequence x(n+!) = x(n-14) / [1 + x(n-2) x(n-5) x(n-8) x(n-11)]
af: Dağistan Şimşek, et al.
Udgivet: (2020-12-01)

Recursion on inadmissible ordinals
af: Friedman, Sy David
Udgivet: (2005)

Coupled modes in plasma, elastic media, and parametric amplifiers : a numerical method /
af: 426795 Denman, Eugene D.
Udgivet: (1970)

Identification of processes using fast algorithm for recursive least square/
af: 434783 Chia, Tuck Meng
Udgivet: (1991)

Recursive macroeconomic theory /
af: Ljungqvist, Lars, et al.
Udgivet: (2012)

Robot dynamics algorithms/
af: 208907 Featherstone, Roy
Udgivet: (1987)

Identification of non-linear dynamic systems using fuzzy system with constrained membership functions /
af: 487986 Mohd. Shafiek Yaacob
Udgivet: (2004)

Stochastic approximation and recursive algorithms and applications /
af: 272176 Kushner, Harold J., et al.
Udgivet: (2003)

Compiler-based prefetching algorithm for recuresive data structure /
af: 236228 Nurulhaini Anuar
Udgivet: (2007)

Generalized recursion theory II /
af: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Udgivet: (1978)

Recursion-theoretic hierarchies /
af: 366611 Hinman, Peter G.
Udgivet: (1978)

Compiler-based prefetching algorithm for recuresive data structure [electronic resource] /
af: 236228 Nurulhaini Anuar
Udgivet: (2007)