Journal of automated reasoning. 1988;4(1):101-107. doi: 10.1007/bf00244514 Q40.72025

The problem of finding a strategy to control binary paramodulation

寻找一种控制二进制参数化归策略的问题

DOI: 10.1007/bf00244514

摘要 查看摘要

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