英语翻译
end; sum up
拓展翻译
广义归结
generalized resolution
广义锁归结
generalized lock resolution
广义线性归结
generalized linear resolution
广义语义归结
generalized semantic resolution
归结定理
resolution theorem
归结定理证明
resolution theorem proving
归结反演
resolution refutation
归结反演策略
resolution refutation strategy
归结反演系统
resolution refutation system
功能递归程序设计
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