Journal of automated reasoning. 2001;26(4):357-408. doi: 10.1023/a:1010652212067 Q40.72025

The Watson Theorem Prover

沃森定理证明器

DOI: 10.1023/a:1010652212067

摘要 查看摘要

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