unifikál
C2
Magyar
unify
IGE
C2
TECHNICAL
1
unify
C2
Használati minta:
unifikál két kifejezést / változót
Még nincsenek példamondatpárok.
Jelentés
make expressions logically consistent
Témák
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definíció
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Nyelvtan
Még nincsenek elérhető nyelvtani adatok.
Kifejezések
Ehhez a szócikkhez még nincs kapcsolódó kifejezés.