|
题名:
|
可计算性与不可解性
ke ji suan xing yu bu ke jie xing
/
(美)戴维斯(M.Davis)著
,
沈泓译
|
|
ISBN:
|
价格：
CNY0.95
|
|
语种:
|
chi
|
|
载体形态:
|
277页
19cm
|
|
出版发行:
|
出版地：
北京
出版社：
北京大学出版社
出版日期：
1984
|
|
主题词:
|
可计算性
|
|
中图分类法:
|
O24
版次：
5
|
|
主要责任者:
|
戴维斯
dai wei si
著
|
|
次要责任者:
|
沈泓
shen hong
译
|
|
附注:
|
书名原文:Computability and unsolvability
|