可计算性与不可解性 | 中图分类号查询 | 中国图书馆分类法 | 中图法 | 中图分类号

可

题名:可计算性与不可解性
作者:（美）戴维斯,M著；沈泓等译
出版年:1984
ISBN: 000048458
分类号: O141.3
中图分类: 递归论（递归函数、能行性理论）

可计算性与不可解性 — （美）戴维斯,M著；沈泓等译

相关图书

序号	相关图书	著者	出版年
1	外国文学知识百题	丁子春编著	1985
2	数据库原理与应用习题·实验·实训	鲁艳霞, 邵欣欣, 曹晶华主编	2008
3	计算机组成原理学习指导书	李应友，何晓新编	1988
4	IBM-PC 汇编语言程序设计试题解	胡又农主编	2004
5	数值分析(第四版)全程导学及习题全解	主编杨蕤	2007
6	元数学导论. 上册	（美）克林(Kleene,S.C.)著；莫绍揆译	1984
7	ASP网页制作教程	王国荣著	2000
8	近世代数	韩士安，林磊编著	2004
9	抽象代数	樊恽, 刘宏伟编	2008
10	宏汇编语言程序设计习题解析	王娟,朱耀庭,于春凡编著	1995
11	数据库系统概论（第四版）学习指导与习题解析	王珊	2008
12	电子商务	杰弗里·F·雷波特, 伯纳德·J·贾沃斯基	2004
13	新编中国哲学史	詹石窗主编	2002
14	力学 : 物理类	舒幼生编著	2005
15	信息产业的全球一体化发展研究	郑英隆编著	2006
16	计算机网络教程	黄永峰, 李星编著	2006
17	计算机网络教程题解与实验指导	黄叔武，刘建新主编	2006
18	信息技术发展政策	国家科学技术委员会编	1990
19	物理定律的本性	(美) R. P. 费曼著	2005
20	并行计算导论	张林波... [等] 编著	2006