Adaptive IIR filtering in signal processing and control /

od Regalia, Phillip A., 1962-
Izdano 1995

Algorithms and recursive functions /

od Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Izdano 1970

The calculi of lambda-conversion /

od Church, Alonzo, 1903-
Izdano 1941

The calculi of Lambda-conversion /

od Alonzo Church
Izdano 1941

Computability /

od Weihrauch, K. (Klaus)
Izdano 1987

Computability : an introduction to recursive function theory /

od Cutland, Nigel
Izdano 1980

Computability and logic /

od Boolos, George
Izdano 1980

Computability and logic /

od Boolos, George
Izdano 1974

Computability theory: an introduction /

od Jones, Neil D.
Izdano 1973

Computability & unsolvability.

od Davis, Martin, 1928-
Izdano 1958

Computations in higher types.

od Moldestad, Johan, 1946-
Izdano 1977

Degrees of Unsolvability /

od Shoenfield, Joseph R. (Joseph Robert), 1927-
Izdano 1972

Formal systems and recursive functions : proceedings /

Izdano 1965

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

od Kleene, Stephen Cole, 1909-
Izdano 1965

Introduction to computability /

od Hennie, Frederick C. (Frederick Clair)
Izdano 1977

Introduction to the theory of computation.

od Engeler, Erwin
Izdano 1973

Minimal degree of unsolvability and the full approximation construction.

od Epstein, Richard L., 1947-
Izdano 1975

Recursive algorithms /

od Lorentz, Richard
Izdano 1994

Recursive function theory and logic.

od Yasuhara, Ann
Izdano 1971

Recursive functions /

od Peter, Rozsa, 1905-
Izdano 1967