合一算法:求非空有限具有相同谓词名的原子公式集的()

2 阅读

合一算法:求非空有限具有相同谓词名的原子公式集的()

请帮忙给出正确答案和分析,谢谢!