Showing 1 - 20 results of 93 for search '', query time: 0.05s Refine Results
  1. 1
    Computability

    Computability by Weihrauch, K. (Klaus)

    Berlin ; New York : Springer-Verlag, 1987
    Format: Book


    Save to List
    Saved in:
  2. 2
    Synthesis of digital designs from recursion equations

    Synthesis of digital designs from recursion equations by Johnson, Steven Dexter

    Cambridge, Mass. : MIT Press, 1984
    Format: Thesis Book


    Save to List
    Saved in:
  3. 3
    Les fonctions combinatoires et les isols

    Les fonctions combinatoires et les isols by Dekker, J. C. E. (Jacob C. E.), 1921-

    Paris : Gauthier-Villars, 1966
    Format: Book


    Save to List
    Saved in:
  4. 4
    Computability and logic

    Computability and logic by Boolos, George

    Cambridge [England] : University Press, 1974
    Format: Book


    Save to List
    Saved in:
  5. 5
    Recursive functions.

    Recursive functions. by Péter, Rózsa, 1905-1977

    New York, Academic Press, 1967
    3d, rev. ed.
    Format: Book


    Save to List
    Saved in:
  6. 6
    Enumerability, decidability, computability; an introduction to the theory of recursive functions

    Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hermes, Hans

    Berlin, New York, Springer-Verlag, 1965
    Format: Book


    Save to List
    Saved in:
  7. 7
    Introduction to the theory of computation.

    Introduction to the theory of computation. by Engeler, Erwin

    New York : Academic Press, 1973
    Format: Book


    Save to List
    Saved in:
  8. 8
    Recursive procedures

    Recursive procedures by Bakker, J. W. de (Jacobus Willem), 1939-

    Amsterdam : Mathematisch Centrum, 1971
    Format: Book


    Save to List
    Saved in:
  9. 9
    Introduction to computability

    Introduction to computability by Hennie, Fred

    Reading, Mass. : Addison-Wesley, 1977
    Format: Book


    Save to List
    Saved in:
  10. 10
    Computability

    Computability by Davis, Martin, 1928-2023

    [New York] : Courant Institute of Mathematical Sciences, New York University, 1974
    Format: Book


    Save to List
    Saved in:
  11. 11
    The medvedev lattice of degrees of difficulty.

    The medvedev lattice of degrees of difficulty. by Poulsen, Birgit Truust

    [Aarhus, Denmark] : [Matematisk Institut, Aarhus Universitet], 1970
    Format: Book


    Save to List
    Saved in:
  12. 12
    Computability theory: an introduction

    Computability theory: an introduction by Jones, Neil D.

    New York, Academic Press, 1973
    Format: Book


    Save to List
    Saved in:
  13. 13
    Konstruktive Analysis.

    Konstruktive Analysis. by Klaua, Dieter

    Berlin : Deutscher Verlag der Wissenschaften, 1961
    Format: Book


    Save to List
    Saved in:
  14. 14
    Theory of computing : papers presented at the Symposium, ALbuqerque, N.M., May 5-7, 1975

    Theory of computing : papers presented at the Symposium, ALbuqerque, N.M., May 5-7, 1975

    New York : The Association, 1975
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  15. 15
    Stochastic processes estimation, optimization, & analysis

    Stochastic processes estimation, optimization, & analysis

    London ; Sterling, VA : Kogan Page Science, 2004
    Format: Electronic eBook
    Save to List
    Saved in:
  16. 16
    Formal systems and recursive functions ; proceedings

    Formal systems and recursive functions ; proceedings

    Amsterdam : North-Holland Pub. Co., 1965
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  17. 17
    Computability & unsolvability

    Computability & unsolvability by Davis, Martin, 1928-2023

    New York : Dover, 1982
    Dover ed.
    Format: Book


    Save to List
    Saved in:
  18. 18
    Primitiv-rekursive Funktionen in Peano-Algebren.

    Primitiv-rekursive Funktionen in Peano-Algebren. by Hirschelmann, Arnulf

    (Birlinghoven : Gesellschaft für Mathematik und Datenverarbeitung), 1969
    Format: Book


    Save to List
    Saved in:
  19. 19
    The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.

    The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.

    Hewlett, N.Y., Raven Press 1965
    Format: Book


    Save to List
    Saved in:
  20. 20
    Computations in higher types

    Computations in higher types by Moldestad, Johan, 1946-

    Berlin ; New York : Springer-Verlag, 1977
    Format: Book


    Save to List
    Saved in:

Search Tools: