>

extended unification algorithm

📖 中文释义

  1. [计] 扩展的合一算法
E 字母词表