同等学力申硕学科综合（计算机科学与技术）
文字 P(x, f(x)) 与 P(g(y), f(g(a))) 的最一般合一是…
第 6 题单选题模拟题中等
文字 P(x,f(x)) 与 P(g(y),f(g(a))) 的最一般合一是（ ）
谓词归结推理前束范式Skolem标准形谓词推理规则
资料核对日期 2026-11-04 · 信息最近同步 2026-11-15 · 报考信息以浙江省教育考试院及各高校官方公布为准学习中心留下手机号 / 微信号，顾问回访
文字 P(x,f(x)) 与 P(g(y),f(g(a))) 的最一般合一是（ ）