Search Results - "computable function"

Suggested Topics within your search.
Refine Results
  1. 101
    Cover Image

    Revolutions and revelations in computability : 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings /

    Published 2022
    Subjects: “…Computable functions Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  2. 102
    Cover Image

    The foundations of computability theory / by Robič, Borut, 1960-

    Published 2020
    Subjects: “…Computable functions.…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  3. 103
    Cover Image

    Symbolic computation and education /

    Published 2007
    Subjects: “…Computable functions Data processing Congresses.…”
    Full Text (via ProQuest)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 104
    Cover Image

    Edinburgh LCF a mechanised logic of computation / by Gordon, Michael J. C., 1948-, Milner, R. (Robin), 1934-2010, Wadsworth, Christopher P.

    Published 1979
    Subjects: “…Computable functions Data processing. fast (OCoLC)fst00871987.…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  5. 105
    Cover Image

    Algebraic computability and enumeration models : recursion theory and descriptive complexity / by Nourani, Cyrus F.

    Published 2016
    Subjects: “…Computable functions.…”
    Full Text (via Taylor & Francis)
    eBook

    Save to List
    Saved in:
  6. 106
    Cover Image

    Computability theory / by Weber, Rebecca, 1977-

    Published 2012
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  7. 107
    Cover Image

    Philosophical explorations of the legacy of AlanTuring : Turing 100 /

    Published 2017
    Subjects: “…Computable functions.…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  8. 108
    Cover Image

    Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / by Soare, R. I. (Robert Irving), 1940-

    Published 1987
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  9. 109
    Cover Image

    Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /

    Published 2009
    Subjects: “…Computable functions Congresses.…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  10. 110
    Cover Image

    Theory and applications of models of computation : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, proceedings /

    Published 2011
    Subjects: “…Computable functions Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  11. 111
    Cover Image

    Recursion on the countable functionals by Normann, Dag, 1947-

    Published 1980
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  12. 112
    Cover Image

    A programming approach to computability / by Kfoury, A. J.

    Published 1982
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  13. 113
    Cover Image

    Computability / by Tourlakis, George J.

    Published 1984
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  14. 114
    Cover Image

    Computability and logic / by Boolos, George

    Published 1974
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  15. 115
    Cover Image

    Set theory for computing : from decision procedures to declarative programming with sets / by Cantone, Domenico

    Published 2001
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  16. 116
    Cover Image

    Theory of recursive functions and effective computability / by Rogers, Hartley, Jr., 1926-2015

    Published 1987
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  17. 117
    Cover Image

    Automata and computability / by Kozen, Dexter, 1951-

    Published 1997
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  18. 118
    Cover Image

    Rekursionstheorie auf F / by Dettki, Hans Joachim

    Published 1983
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  19. 119
    Cover Image

    Models of computation and formal languages / by Taylor, Ralph Gregory

    Published 1998
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Book

    Save to List
    Saved in:
  20. 120
    Cover Image

    Proofs and Computations by Schwichtenberg, Helmut, 1942-

    Published 2011
    Subjects: “…Computable functions. http://id.loc.gov/authorities/subjects/sh85029469.…”
    Full Text (via ProQuest)
    eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search