大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 递归论(递归函数,能行性理论)(分类号：O141.3)(共2本)

分类依据：分层,可计算理论与构造论,可构造性理论,λ 转换,图灵机,有穷组合过程,组合逻辑等入此.参见B815.2.<3版类名:可计算理论和构造论>

可计算性理论

0
索取号：O141.3/2
作者：杨东屏、李昂生、
出版社：北京：科学出版社，1999

递归论

0
索取号：O141.3/1
作者：莫绍揆、
出版社：北京：科学出版社，1997