unifikáció
C2
Унгарски
unification
СЪЩЕСТВИТЕЛНО
C2
TECHNICAL
1
unification
C2
Все още няма двойки с примери.
Значение
matching expressions via substitutions
Теми
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Определение
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Граматика
Все още няма граматични данни.
Изрази
Все още няма свързани изрази.