Computability and Unsolvability [M.Davis]

【文件属性】：

文件名称：Computability and Unsolvability [M.Davis]

文件大小：7.17MB

文件格式：PDF

更新时间：2018-10-12 14:52:12

可计算性 不可解性

马丁戴维斯的名著，可计算性与不可解性。这是英文版的。