Adaptive IIR filtering in signal processing and control /

di Regalia, Phillip A., 1962-
Pubblicazione 1995

Algorithms and recursive functions /

di Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Pubblicazione 1970

The calculi of lambda-conversion /

di Church, Alonzo, 1903-
Pubblicazione 1941

The calculi of Lambda-conversion /

di Alonzo Church
Pubblicazione 1941

Computability /

di Weihrauch, K. (Klaus)
Pubblicazione 1987

Computability : an introduction to recursive function theory /

di Cutland, Nigel
Pubblicazione 1980

Computability and logic /

di Boolos, George
Pubblicazione 1980

Computability and logic /

di Boolos, George
Pubblicazione 1974

Computability theory: an introduction /

di Jones, Neil D.
Pubblicazione 1973

Computability & unsolvability.

di Davis, Martin, 1928-
Pubblicazione 1958

Computations in higher types.

di Moldestad, Johan, 1946-
Pubblicazione 1977

Degrees of Unsolvability /

di Shoenfield, Joseph R. (Joseph Robert), 1927-
Pubblicazione 1972

Formal systems and recursive functions : proceedings /

Pubblicazione 1965

The foundations of intuitionistic mathematics : especially in relation to recursive functions /

di Kleene, Stephen Cole, 1909-
Pubblicazione 1965

Introduction to computability /

di Hennie, Frederick C. (Frederick Clair)
Pubblicazione 1977

Introduction to the theory of computation.

di Engeler, Erwin
Pubblicazione 1973

Minimal degree of unsolvability and the full approximation construction.

di Epstein, Richard L., 1947-
Pubblicazione 1975

Recursive algorithms /

di Lorentz, Richard
Pubblicazione 1994

Recursive function theory and logic.

di Yasuhara, Ann
Pubblicazione 1971

Recursive functions /

di Peter, Rozsa, 1905-
Pubblicazione 1967