Showing 1 - 20 results of 42 for search '', query time: 0.64s Refine Results
  1. 1
    Computability in analysis and physics /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    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
  3. 3
    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
  4. 4
    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
  5. 5
    Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
    Published 2014

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings /
    Published 2007

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Hilbert's tenth problem /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    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
  10. 10
    Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
    Published 2001

    Book
  11. 11
    Computable functions /

    Book
  12. 12
    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
  13. 13
    Models of computation : an introduction to computability theory /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    Computable models /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  16. 16
    Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  17. 17
    Elements of computation theory /
    by Singh, Arindama, Singh, Arindama
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  19. 19
    Mathematical foundations of computer science, 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings /
    Published 2006

    Conference Proceeding Book
  20. 20
    Edinburgh LCF : a mechanised logic of computation /

    Book
Search Tools: Get RSS Feed — Email this Search