Journal of automated reasoning. 1991;7(2):285-286. doi: 10.1007/bf00243811 Q40.72025
More on the problem of finding a mapping between clause representation and natural-deduction representation
关于在子句表示与自然演绎表示之间寻找映射这一问题的更多内容
DOI: 10.1007/bf00243811
摘要 查看摘要
