Adaptive IIR filtering in signal processing and control /

по Regalia, Phillip A., 1962-
Опубликовано 1995

Algorithms and recursive functions /

по Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Опубликовано 1970

The calculi of lambda-conversion /

по Church, Alonzo, 1903-
Опубликовано 1941

The calculi of Lambda-conversion /

по Alonzo Church
Опубликовано 1941

Computability /

по Weihrauch, K. (Klaus)
Опубликовано 1987

Computability : an introduction to recursive function theory /

по Cutland, Nigel
Опубликовано 1980

Computability and logic /

по Boolos, George
Опубликовано 1980

Computability and logic /

по Boolos, George
Опубликовано 1974

Computability theory: an introduction /

по Jones, Neil D.
Опубликовано 1973

Computability & unsolvability.

по Davis, Martin, 1928-
Опубликовано 1958

Computations in higher types.

по Moldestad, Johan, 1946-
Опубликовано 1977

Degrees of Unsolvability /

по Shoenfield, Joseph R. (Joseph Robert), 1927-
Опубликовано 1972

Formal systems and recursive functions : proceedings /

Опубликовано 1965

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

по Kleene, Stephen Cole, 1909-
Опубликовано 1965

Introduction to computability /

по Hennie, Frederick C. (Frederick Clair)
Опубликовано 1977

Introduction to the theory of computation.

по Engeler, Erwin
Опубликовано 1973

Minimal degree of unsolvability and the full approximation construction.

по Epstein, Richard L., 1947-
Опубликовано 1975

Recursive algorithms /

по Lorentz, Richard
Опубликовано 1994

Recursive function theory and logic.

по Yasuhara, Ann
Опубликовано 1971

Recursive functions /

по Peter, Rozsa, 1905-
Опубликовано 1967