unification algorithm
中文翻译
[计] 通代算法
相关词组
1
complete unification algorithm
[计] 完全一致算法
2
extended unification algorithm
[计] 扩展的合一算法