unification algorithm中文，unification algorithm的意思，unification algorithm翻译及用法

2026-08-14 03:29 浏览次数 58

unification algorithm

[ˌju:nɪfɪˈkeɪʃɵn ˈælɡəriðəm]

合一算法

unification algorithm 片语

片语

a unification algorithm合一化算法

extended unification algorithm扩展的合一算法

complete unification algorithm完全一致算法

algorithm for unification[计]

unification algorithm 例句

英汉例句

  • the equation logic is implemented efficiently by building the description of the type and improving the unification algorithm on the base of the rewriting mechanism.

    讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。

相关热词