Toggle navigation
中图分类查询
分类
图书
所有字段
图书题名
著者姓名
中图分类
搜索
关于中图法
题名:
可计算性与不可解性
作者:
(美)戴维斯,M著;沈 泓等译
出版年:
1984
ISBN:
000048458
分类号:
O141.3
中图分类:
递归论(递归函数、能行性理论)
可计算性与不可解性 — (美)戴维斯,M著;沈 泓等译
相关图书
序号
相关图书
著者
出版年
1
概率论与数理统计 (浙大四版) 同步辅导及习题全解
主编牛丽英, 陈勇
2009
2
中国哲学史选讲
孙宝山著
2009
3
高等数学学习指南
主编张金海, 王金萍, 郑维英
2008
4
概率论与数理统计全程指导
范玉妹 ... [等] 编
2008
5
亦恕与珂雪
蔡智恒著
2008
6
数据库原理与应用习题·实验·实训
鲁艳霞, 邵欣欣, 曹晶华主编
2008
7
数据库系统概论(第四版)学习指导与习题解析
王珊
2008
8
数据结构与算法习题解答及实验指导
王苗 ... [等] 编著
2008
9
Excel 2007 VBA开发技术大全
傅靖, 李冬, 罗刚君编著
2008
10
抽象代数
樊恽, 刘宏伟编
2008
11
数值分析(第四版)全程导学及习题全解
主编杨蕤
2007
12
系统体系结构
Stephen D. Burd著
2007
13
服务管理 : 运作、战略与信息技术 : operatio
(美) 詹姆斯 A. 菲茨西蒙斯, 莫娜 J. 菲茨西蒙斯著
2007
14
计算机网络教程
黄永峰, 李星编著
2006
15
道连·葛雷的画像
(英) 奥斯卡·王尔德著
2006
16
实用数值分析解题指导
编著刘春凤 ... [等]
2006
17
计算机网络教程题解与实验指导
黄叔武,刘建新主编
2006
18
并行计算导论
张林波... [等] 编著
2006
19
信息产业的全球一体化发展研究
郑英隆编著
2006
20
2006中国产业发展报告 : 制造业的市场结构、行为与绩
上海财经大学课题组
2006