 |
Unification (computer science)
| English Wikipedia - The Free Encyclopedia | Download this dictionary |
Unification (computer science)
Unification, in computer science and logic, is an algorithmic process of solving equations between symbolic expressions.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
