Journal of automated reasoning. 1997;19(2):173-203. doi: 10.1023/a:1005890730317 Q40.72025

Structuring Resolution Proofs by Introducing New Lemmata

通过引入新引理来构造归结证明

DOI: 10.1023/a:1005890730317

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！