Unz评论•另类媒体选择
美国主流媒体大都排除了有趣,重要和有争议的观点
马丁 D. 戴维斯档案
马丁 D. 戴维斯 • 5 书籍
显示更多显示所有正在寻找...寻找更多
通过电子邮件将此页面发送给其他人

 记住我的信息



=>
排序方式 显示中 上市邮票
标题 周期
出版物 存档
类型? /
类型? 所有类型书籍电影可读评论 诗句
  1. 正确程序技术/版本的可扩展性... (1977)
    作者:马丁·戴维斯和 JT·施瓦茨。
  2. 用于定理证明的机器程序 (1961)
  3. 通用计算机 (2000)
    从莱布尼茨到图灵之路
    1 评论
  4. 未找到任何项目