1 Answers
Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.
4 views
Answered
Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.