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