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

| 暂存书架(0) | 登录

检索到 6 条 题名=Computability : 的结果    

 


所有图书 可借图书

  1. 西文图书1.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理论基 TP301/D263(C=2)

    馆藏复本:3
    可借复本:3
    Davis, Martin,
    人民邮电出版社, 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.可计算性与数理逻辑 O141/49

    馆藏复本:3
    可借复本:3
    (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著
    电子工业出版社 2005
    (0) 馆藏

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

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

  5. 西文图书5.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263

    馆藏复本:5
    可借复本:5
    Davis, Martin,
    Academic Press, 1983.
    (0) 馆藏

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

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


返回顶部