Journal of automated reasoning. 1995;14(2):237-255. doi: 10.1007/bf00881857 Q40.72025

Theorem proving for intensional logic

内涵逻辑的定理证明

DOI: 10.1007/bf00881857

摘要 查看摘要

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