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