Adaptive IIR filtering in signal processing and control /

by Regalia, Phillip A., 1962-
Published 1995

Algorithms and recursive functions /

by Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Published 1970

The calculi of lambda-conversion /

by Church, Alonzo, 1903-
Published 1941

Computability /

by Weihrauch, K. (Klaus)
Published 1987

Computability : an introduction to recursive function theory /

by Cutland, Nigel
Published 1980

Computability and logic /

by Boolos, George
Published 1974

Computability theory: an introduction /

by Jones, Neil D.
Published 1973

Computability & unsolvability.

by Davis, Martin, 1928-
Published 1958

Computations in higher types.

by Moldestad, Johan, 1946-
Published 1977

Degrees of Unsolvability /

by Shoenfield, Joseph R. (Joseph Robert), 1927-
Published 1972

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

by Kleene, Stephen Cole, 1909-
Published 1965

Introduction to computability /

by Hennie, Frederick C. (Frederick Clair)
Published 1977

Introduction to the theory of computation.

by Engeler, Erwin
Published 1973

Minimal degree of unsolvability and the full approximation construction.

by Epstein, Richard L., 1947-
Published 1975

Recursive algorithms /

by Lorentz, Richard
Published 1994

Recursive function theory and logic.

by Yasuhara, Ann
Published 1971

Recursive functions /

by Peter, Rozsa, 1905-
Published 1967

Recursive functions in computer theory /

by Peter, Rozsa, 1905-
Published 1981

Recursive functions : Prepared by the Course Team.

Published 1973

A recursive introduction to the theory of computation /

by Smith, Carl, 1950-
Published 1994