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