Journal of automated reasoning. 1988;4(1):69-100. doi: 10.1007/bf00244513 Q40.72025

HARP: A tableau-based theorem prover

HARP：一种基于表象的定理证明器

DOI: 10.1007/bf00244513

摘要 查看摘要

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