江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 6 条 主题词=Computable functions. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Automata, computability and complexity : theory and applications = 自动机理论与应用 / TP301.1/R498

    馆藏复本:3
    可借复本:3
    Rich, Elaine.
    清华大学出版社, 2009.
    (0) 馆藏

  2. 西文图书2.Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, Septem O17/C738

    馆藏复本:1
    可借复本:1
    Jens Blanck, Vasco Brattka, Peter Hertling (eds.).
    Springer, c2001.
    (0) 馆藏

  3. 西文图书3.Computability and logic = 可计算性与数理逻辑 / 4th ed. O141.3/B724=4

    馆藏复本:3
    可借复本:3
    Boolos, George.
    Pub. House of Electronic Industry, 2003.
    (0) 馆藏

  4. 西文图书4.A programming approach to computability / TP31-3/K44

    馆藏复本:3
    可借复本:3
    Kfoury, A. J.
    Springer-Verlag, c1982.
    (0) 馆藏

  5. 西文图书5.Computability : an introduction to recursive function theory / O141.3/C989

    馆藏复本:2
    可借复本:2
    Cutland, Nigel.
    Cambridge University Press, 1980.
    (0) 馆藏

  6. 西文图书6.Subrecursion : functions and hierarchies / O141.3/R795

    馆藏复本:2
    可借复本:0
    Rose, H. E.
    Clarendon Press ; 1984.
    (0) 馆藏


返回顶部