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

| 暂存书架(0) | 登录

检索到 3 条 主题词=Recursive functions. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Introduction to the theory of computation. O141.3/E57

    馆藏复本:1
    可借复本:1
    Engeler, Erwin.
    Academic Press [1973]
    (0) 馆藏

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

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

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

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


返回顶部