unifikál
C2
Унгарски
unify
ГЛАГОЛ
C2
TECHNICAL
1
unify
C2
Модел на употреба:
unifikál két kifejezést / változót
Все още няма двойки с примери.
Значение
make expressions logically consistent
Теми
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Определение
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Граматика
Все още няма граматични данни.
Изрази
Все още няма свързани изрази.