Adaptive IIR filtering in signal processing and control /

por Regalia, Phillip A., 1962-
Publicado 1995

Algorithms and recursive functions /

por Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Publicado 1970

The calculi of lambda-conversion /

por Church, Alonzo, 1903-
Publicado 1941

The calculi of Lambda-conversion /

por Alonzo Church
Publicado 1941

Computability /

por Weihrauch, K. (Klaus)
Publicado 1987

Computability : an introduction to recursive function theory /

por Cutland, Nigel
Publicado 1980

Computability and logic /

por Boolos, George
Publicado 1980

Computability and logic /

por Boolos, George
Publicado 1974

Computability theory: an introduction /

por Jones, Neil D.
Publicado 1973

Computability & unsolvability.

por Davis, Martin, 1928-
Publicado 1958

Computations in higher types.

por Moldestad, Johan, 1946-
Publicado 1977

Degrees of Unsolvability /

por Shoenfield, Joseph R. (Joseph Robert), 1927-
Publicado 1972

Formal systems and recursive functions : proceedings /

Publicado 1965

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

por Kleene, Stephen Cole, 1909-
Publicado 1965

Introduction to computability /

por Hennie, Frederick C. (Frederick Clair)
Publicado 1977

Introduction to the theory of computation.

por Engeler, Erwin
Publicado 1973

Minimal degree of unsolvability and the full approximation construction.

por Epstein, Richard L., 1947-
Publicado 1975

Recursive algorithms /

por Lorentz, Richard
Publicado 1994

Recursive function theory and logic.

por Yasuhara, Ann
Publicado 1971

Recursive functions /

por Peter, Rozsa, 1905-
Publicado 1967