归结反演

归结反演的英文

英语翻译

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