Turing machines and functions [filem]

Turing machines and functions [filem]

41

Detalhes bibliográficos
Formato:
Publicado em:	Milton Keynes : Open University, 1973
Assuntos:	Recursive functions Turing machines

Registos relacionados

Turing machines and functions [kasetvideo]
Publicado em: (1973)

Turing machines [filem]
Publicado em: (1972)

Turing machines [kasetvideo]
Publicado em: (1972)

Turing machines and post systems [filem]
Publicado em: (1973)

The annotated turing : a guided tour through alan turing's historic paper on computability and the turing machine /
Por: 451378 Petzold, Charles
Publicado em: (2008)

The Future [filem]
Publicado em: ([n.d)

Generalized recursion theory
Publicado em: (1974)

E-recursively enumerable degrees
Por: Griffor, Edward R.
Publicado em: (2005)

The Future [kasetvideo]
Publicado em: ([19-)

Computability : an introduction to recursive function theory /
Por: 367112 Cutland, Nigel
Publicado em: (1980)

Computability
Por: 8545 Open University. Computing and Computers Course Team
Publicado em: (1973)

Computational complexity : a conceptual perspective /
Por: 457465 Goldreich, Oded
Publicado em: (2008)

Computability and decidability : an introduction fore students of computer science /
Por: 459495 Loeckx, J. J. C.
Publicado em: (1972)

You can have all of the numbers all of the time [filem]
Publicado em: (1972)

Minimal control placement of networked reaction-diffusion systems based on Turing model
Por: Cao, Yuexin, et al.
Publicado em: (2024)

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

Introduction to computer science using the turing programming language /
Por: 217982 Holt, Richard C., et al.
Publicado em: (1984)

Introduction to the theory of computation /
Por: 460476 Engeler, Erwin
Publicado em: (1973)

Neurophysiology
Por: Blum, M.
Publicado em: (2010)

Trans-membrane Signal Transduction and Biochemical Turing Pattern Formation
Por: Millonas, Mark M., et al.
Publicado em: (2004)

Recursion on inadmissible ordinals
Por: Friedman, Sy David
Publicado em: (2005)

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

Robot dynamics algorithms/
Por: 208907 Featherstone, Roy
Publicado em: (1987)

Computability and logic /
Por: 386993 Boolos, George, et al.
Publicado em: (1989)

Compiler-based prefetching algorithm for recuresive data structure /
Por: 236228 Nurulhaini Anuar
Publicado em: (2007)

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

You can have all of the numbers all of the time [kasetvideo]
Publicado em: (1972)

Algorithm design : a recursion transformation framework /
Por: 258995 Paull, Marvin C.
Publicado em: (c198)

Functions [filem]
Publicado em: ([19-)

Minimun degree of the unsolvability and the full approximation construction /
Por: Epstein, Richard L.
Publicado em: (1975)

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

Functions [filem gelung]
Publicado em: (1973)

Defining functions [filem]
Por: Open University. An Algorithmic Approach to Computing Course Team
Publicado em: (1973)

Behavior of functions [filem]
Publicado em: (1977)

Derived function [filem]
Publicado em: (1977)

Functions and graphs [filem]
Publicado em: (1976)

Members of thin π⁰₁ classes and generic degrees
Por: Stephan, Frank, et al.
Publicado em: (2022)

Inverse byperbolic functions [filem]
Publicado em: ([n.d)

A fast algorithm for the string editing problem and decision graph complexity
Por: Masek, William Joseph
Publicado em: (2008)

Inverse functions [filem]
Publicado em: (1972)