摘要：论文标题：关于扩展费若吉(Extended Frege)的统一简化和证明系统模拟的研究
作者：Stephen Cook
论文ID：cs/0601086
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中