Journal of automated reasoning. 2004;33(1):51-88. doi: 10.1007/s10817-004-2725-6 Q40.72025

Constraint Solving for Proof Planning

用于证明规划的约束求解

DOI: 10.1007/s10817-004-2725-6

摘要 查看摘要

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