统一（计算机科学）-一流百科

统一（计算机科学）

统一（计算机科学）在逻辑学和计算机科学中，统一是解决符号表达式之间方程的一个算法过程。根据哪些表达式（也叫术语）允许出现在方程组中（也叫统一问题）...

词条百科