Journal of automated reasoning. 1994;13(3):297-337. doi: 10.1007/bf00881947 Q40.72025

Controlled integration of the cut rule into connection tableau calculi

将切断规则可控地整合到连接表 tableau 计算中

DOI: 10.1007/bf00881947

摘要 查看摘要

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