切割平面和定深Frege证明

彼得·克洛特.切割平面和定深Frege证明.1992年6月22日至25日,美国加利福尼亚州圣克鲁斯,IEEE第七届计算机科学逻辑年会论文集.页码296-307IEEE计算机学会,1992

摘要

缺少摘要。