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.
Граматика
Поки що немає граматичних відомостей.
Вирази
Для цієї словникової статті ще немає пов’язаних виразів.