Journal of automated reasoning. 2008;40(2-3):133-177. doi: 10.1007/s10817-007-9091-0 Q40.72025

A Logical Characterization of Forward and Backward Chaining in the Inverse Method

逆向方法中前向链和后向链的逻辑刻画

DOI: 10.1007/s10817-007-9091-0

摘要 查看摘要

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