Showing 1 - 20 results of 45 for search '', query time: 0.22s Refine Results
  1. 1
    Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  2. 2
    New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
    Published 2005

    Conference Proceeding Book
  3. 3
    Mathematical foundations of computer science, 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  4. 4
    Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  5. 5
    Recursion on the countable functionals /

    Book
  6. 6
    Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
    Published 2001

    Book
  7. 7
    Connecting with computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  8. 8
    An invitation to analytic combinatorics in several variables : from one to several variables /
    by Melczer, Stephen
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Computability and logic
    by Boolos, George
    Published 2002

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    Enumerability, decidability, computability; an introduction to the theory of recursive functions
    by Hermes, Hans, Hermes, Hans, Hermes, Hans
    Published 1965

    Book
  11. 11
    Enumerability, decidability, computability An introduction to the theory of recursive functions
    by Hermes, Hans
    Published 1969

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Recursion on the countable functionals /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    Unity of logic and computation : 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023, proceedings /
    Published 2023

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  14. 14
    Computability theory /
    by Cooper, S. B (S. Barry)
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods /
    by Li, Huishi
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  16. 16
    The theory of computability : programs, machines, effectiveness, and feasibility /
    by Sommerhalder, R, Sommerhalder, R
    Published 1988

    Book
  17. 17
    Three views of logic : mathematics, philosophy, and computer science /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
    Published 1990

    Conference Proceeding Book
  19. 19
    Computable functions /

    Book
  20. 20
    Computable structure theory : within the arithmetic /
    by Montalbán, Antonio
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search