[单选题]【国家开放大学题目】合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。
青书学堂题库
|
2023-12-26 17:43:25
|
19
[单选题]【国家开放大学题目】合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。

A.错
B.对
C.
D.
查看答案

国家开放大学

形成性考核

您可能感兴趣的试题
TOP