Adaptive IIR filtering in signal processing and control /

af Regalia, Phillip A., 1962-
Udgivet 1995

Algorithms and recursive functions /

af Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Udgivet 1970

The calculi of lambda-conversion /

af Church, Alonzo, 1903-
Udgivet 1941

The calculi of Lambda-conversion /

af Alonzo Church
Udgivet 1941

Computability /

af Weihrauch, K. (Klaus)
Udgivet 1987

Computability : an introduction to recursive function theory /

af Cutland, Nigel
Udgivet 1980

Computability and logic /

af Boolos, George
Udgivet 1980

Computability and logic /

af Boolos, George
Udgivet 1974

Computability theory: an introduction /

af Jones, Neil D.
Udgivet 1973

Computability & unsolvability.

af Davis, Martin, 1928-
Udgivet 1958

Computations in higher types.

af Moldestad, Johan, 1946-
Udgivet 1977

Degrees of Unsolvability /

af Shoenfield, Joseph R. (Joseph Robert), 1927-
Udgivet 1972

Formal systems and recursive functions : proceedings /

Udgivet 1965

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

af Kleene, Stephen Cole, 1909-
Udgivet 1965

Introduction to computability /

af Hennie, Frederick C. (Frederick Clair)
Udgivet 1977

Introduction to the theory of computation.

af Engeler, Erwin
Udgivet 1973

Minimal degree of unsolvability and the full approximation construction.

af Epstein, Richard L., 1947-
Udgivet 1975

Recursive algorithms /

af Lorentz, Richard
Udgivet 1994

Recursive function theory and logic.

af Yasuhara, Ann
Udgivet 1971

Recursive functions /

af Peter, Rozsa, 1905-
Udgivet 1967