归结反演策略

英语翻译

resolution refutation strategy

拓展翻译

归结反演
resolution refutation

归结反演系统
resolution refutation system

广义归结
generalized resolution

广义锁归结
generalized lock resolution

广义线性归结
generalized linear resolution

广义语义归结
generalized semantic resolution

归结
end; sum up

归结定理
resolution theorem

归结定理证明
resolution theorem proving

各自编译策略
separate compilation strategy

工作区策略
working set policy

公司策略
corporate strategy

共享策略
sharing policy

管理策略
management policy

归纳诊断策略
inductive diagnosis strategy

规划策略
planning strategy

功能递归程序设计
function recursive programming

共同归路
common return

广义归纳法
generalized induction

广义回归模型
generalized regressive model