UNIFICATION
Unification
Unification, in computer science and logic, is an algorithmic process of solving equations between symbolic expressions.The above text is a snippet from Wikipedia: Unification (computer science)
and as such is available under the Creative Commons Attribution/Share-Alike License.
unification
Noun
- The act of unifying.
- The state of being unified.
- Given two terms, their join with respect to a specialisation order.
The above text is a snippet from Wiktionary: unification
and as such is available under the Creative Commons Attribution/Share-Alike License.