Dis-unification
Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions. == Publications on dis-unification == Alain Colmerauer (1984).
Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions. == Publications on dis-unification == Alain Colmerauer (1984).
Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions. == Publications on dis-unification == Alain Colmerauer (1984).
Source: Wikipedia "Dis-unification" · CC BY-SA 4.0
Share this article: X · Bluesky