algorithm for unification
求子句集S的最一般合一（MGU）的算法，即合一算法（Unification Algorithm） :
基于62个网页-相关网页
... algorithm description language 算法描述语言 algorithm for unification 合一算法 algorithm generator 算法生成程序 ...
基于12个网页-相关网页
树的合一算法 Tree unification
采用一般耦合算法 general coupling
·2,447,543篇论文数据，部分数据来源于NoteExpress
为了解决这个问题，本文提出一种新的模式合一算法，共时间复杂度为线性的。
To solve the problem, this paper proposes a new pattern unification algorithm, which time complexity is linear.
youdao
应用推荐
模块上移
模块下移
不移动