归结反演

英语翻译

resolution refutation

拓展翻译

归结反演策略
resolution refutation strategy

归结反演系统
resolution refutation system

广义归结
generalized resolution

广义锁归结
generalized lock resolution

广义线性归结
generalized linear resolution

广义语义归结
generalized semantic resolution

归结
end; sum up

归结定理
resolution theorem

归结定理证明
resolution theorem proving

功能递归程序设计
function recursive programming

共同归路
common return

广义归纳法
generalized induction

广义回归模型
generalized regressive model

归
go back to; return; turn over to

归案
bring to justice

归并
add up; incorporate into; lump together; merger
conflation; merging; mnerge

归并程序
merge program

归并处理
merge application

归并地址
merge address

归并分类
sorting by merging