文件名称：The Complexity of Theorem-Proving Procedures
文件大小：470KB
文件格式：PDF
更新时间：2011-06-06 16:43:35
computing
计算复杂性的开创论文《The Complexity of Theorem-Proving Procedures》
The Complexity of Theorem-Proving Procedures
【文件属性】：
网友评论
- 英文原版论文，很不错
- 谢谢楼主分享，很好的资料，
- 1971年的论文原文，找了好久，终于找到了，谢谢！
- 谢谢楼主分享，很好的资料，谢谢啦！