unifikál
C2
Maghiară
unify
VERB
C2
TECHNICAL
1
unify
C2
Tipar de utilizare:
unifikál két kifejezést / változót
Încă nu există perechi de exemple.
Sens
make expressions logically consistent
Teme
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definiție
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Gramatică
Încă nu sunt disponibile detalii gramaticale.
Expresii
Nu există încă expresii asociate acestei intrări.