Journal of symbolic computation. 1995;19(1-3):245-267. doi: 10.1006/jsco.1995.1014 Q21.12025

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover

DOI: 10.1006/jsco.1995.1014

摘要 查看摘要

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