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.
Грамматика
Пока нет грамматической информации.
Выражения
Пока для этой статьи нет связанных выражений.