试题详情
简答题合一算法:求非空有限具有相同谓词名的原子公式集的()。
  • 最一般合一
  • 关注下方微信公众号,在线模考后查看

热门试题