Toggle navigation
中图分类查询
分类
图书
所有字段
图书题名
著者姓名
中图分类
搜索
关于中图法
可
题名:
可计算性与不可解性
作者:
(美)戴维斯,M著;沈 泓等译
出版年:
1984
ISBN:
000048458
分类号:
O141.3
中图分类:
递归论(递归函数、能行性理论)
可计算性与不可解性 — (美)戴维斯,M著;沈 泓等译
相关图书
序号
相关图书
著者
出版年
1
道连·葛雷的画像
(英) 奥斯卡·王尔德著
2006
2
系统体系结构
Stephen D. Burd著
2007
3
数学分析 . 1
徐森林, 薛春华编著
2005
4
外国文学辞典 [工具书]
陈元恺主编
1989
5
实用数值分析解题指导
编著刘春凤 ... [等]
2006
6
分布式数据库系统及其应用
邵佩英编著
2000
7
外国文学知识百题
丁子春编著
1985
8
数据库原理与应用习题·实验·实训
鲁艳霞, 邵欣欣, 曹晶华主编
2008
9
计算机组成原理学习指导书
李应友,何晓新编
1988
10
IBM-PC 汇编语言程序设计试题解
胡又农主编
2004
11
数值分析(第四版)全程导学及习题全解
主编杨蕤
2007
12
元数学导论. 上册
(美)克林(Kleene,S.C.)著;莫绍揆译
1984
13
ASP网页制作教程
王国荣著
2000
14
近世代数
韩士安,林磊编著
2004
15
抽象代数
樊恽, 刘宏伟编
2008
16
宏汇编语言程序设计习题解析
王娟,朱耀庭,于春凡编著
1995
17
数据库系统概论(第四版)学习指导与习题解析
王珊
2008
18
电子商务
杰弗里·F·雷波特, 伯纳德·J·贾沃斯基
2004
19
新编中国哲学史
詹石窗主编
2002
20
力学 : 物理类
舒幼生编著
2005