Journal of automated reasoning. 1990;6(2):211-212. doi: 10.1007/bf00245820 Q40.72025

The problem of finding a mapping between clause representation and natural-deduction representation

寻找子句表示与自然演绎表示之间映射的问题

DOI: 10.1007/bf00245820

摘要 查看摘要

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