Journal of automated reasoning. 1992;8(2):213-274. doi: 10.1007/bf00244283 Q40.72025

The linked inference principle, I: The formal treatment

关联推理原则，一：形式化处理

DOI: 10.1007/bf00244283

摘要 查看摘要

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