Computability theory : an introduction to recursion theory /

Computability theory : an introduction to recursion theory /

Includes bibliographical references (p. 163-164) and index

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	461543 Enderton, Herbert B.
Формат:
Хэл сонгох:	eng
Хэвлэсэн:	Amsterdam ; Boston : Academic Press, c201
Нөхцлүүд:	Recursion theory

Ижил төстэй зүйлс

Computability : an introduction to recursive function theory /
-н: 367112 Cutland, Nigel
Хэвлэсэн: (1980)

Generalized recursion theory II /
-н: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), зэрэг
Хэвлэсэн: (1978)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
-н: 430372 Hermes, Hans
Хэвлэсэн: (1969)

Theory of recursive functions and effective computability /
-н: 430645 Rogers, Hartley
Хэвлэсэн: (1967)

Generalized recursion theory
Хэвлэсэн: (1974)

Thinking recursively /
-н: 203886 Roberts, Eric
Хэвлэсэн: (1986)

Recursion-theoretic hierarchies /
-н: 366611 Hinman, Peter G.
Хэвлэсэн: (1978)

E-recursively enumerable degrees
-н: Griffor, Edward R.
Хэвлэсэн: (2005)

Recursive macroeconomic theory /
-н: Ljungqvist, Lars, зэрэг
Хэвлэсэн: (2012)

Recursiveness /
-н: 430157 Eilenberg, Samuel
Хэвлэсэн: (1970)

Algorithm design : a recursion transformation framework /
-н: 258995 Paull, Marvin C.
Хэвлэсэн: (c198)

Recursive functions /
-н: 430594 Peter, Rozsa
Хэвлэсэн: (1967)

Introduction to the theory of computation /
-н: 460476 Engeler, Erwin
Хэвлэсэн: (1973)

Theory of computation /
-н: Kozen, Dexter, 1951-
Хэвлэсэн: (2006)

Introduction to computability /
-н: 430261 Hennie, Frederick C.
Хэвлэсэн: (1977)

Regressive sets and the theory of isols /
-н: 182336 Mclaughlin, Thomas G.
Хэвлэсэн: (1982)

On the Recursive-Parallel Programming for the .NET Framework
-н: V. V. Vasilchikov
Хэвлэсэн: (2014-04-01)

Recursion on inadmissible ordinals
-н: Friedman, Sy David
Хэвлэсэн: (2005)

A mathematical introduction to logic /
-н: 461543 Enderton, Herbert B.
Хэвлэсэн: (1972)

Verification of Programs with Mutual Recursion in the Pifagor Language
-н: Mariya S. Ushakov, зэрэг
Хэвлэсэн: (2018-08-01)

Stable recursions : with applications to the numerical solution to stiff systems /
-н: 239720 Cash, J. R.
Хэвлэсэн: (1979)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
-н: 308908 Kleene, Stephen Cole
Хэвлэсэн: (1965)

Stochastic approximation and recursive algorithms and applications /
-н: 272176 Kushner, Harold J., зэрэг
Хэвлэсэн: (2003)

Elements of set theory /
-н: Enderton, Herbert B.
Хэвлэсэн: (1977)

Recursive identification and parameter estimation /
-н: 575513 Chen, Hanfu, зэрэг
Хэвлэсэн: (2014)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
-н: Ahmad Nor Alifa A. Razap, 1984-, зэрэг
Хэвлэсэн: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
-н: Ahmad Nor Alifa A. Razap, 1984-
Хэвлэсэн: (2011)

Computable analysis /
-н: 367053 Aberth, Oliver
Хэвлэсэн: (1980)

Etude on Recursion Elimination
-н: Nikolay Shilov
Хэвлэсэн: (2018-10-01)

Identification of processes using fast algorithm for recursive least square/
-н: 434783 Chia, Tuck Meng
Хэвлэсэн: (1991)

Computability and unsolvability /
-н: 429964 Davis, Martin
Хэвлэсэн: (1958)

Mathematical logic : an introduction to model theory /
-н: 314347 Lightstone, A. H., зэрэг
Хэвлэсэн: (1978)

Computations in higher types /
-н: 430417 Moldestad, Johan
Хэвлэсэн: (1977)

An introduction to the general theory of algorithms /
-н: 450394 Machtey, Michael, зэрэг
Хэвлэсэн: (1978)

On а Recursive-Parallel Algorithm for Solving the Knapsack Problem
-н: Vladimir V. Vasilchikov
Хэвлэсэн: (2018-04-01)

Computability
-н: 8545 Open University. Computing and Computers Course Team
Хэвлэсэн: (1973)

Recursive data processing for kinematic GPS surveying /
-н: Tiberius, C. C. J. M. (Christian C. J. M.)
Хэвлэсэн: ([199)

USAGE OF ADAPTIVE RECURSIVE FILTERS IN THE ANTENNA INTERFERENCE SUPPRESSOR OF GLOBAL NAVIGATION SATELLITE SYSTEMS
-н: I. M. Sokolov
Хэвлэсэн: (2016-11-01)

THE TRANSFORMATION OF THE RECURSIVE CONVEYOR FROM THE GENERAL FORM TO THE LINEAR CONVEYOR
-н: Boris V. Kupriyanov
Хэвлэсэн: (2016-05-01)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
-н: Kleene Symposium (1978 : University of Wisconsin-Madison), зэрэг
Хэвлэсэн: (1980)