unifikál
C2
Hongrois
unify
VERBE
C2
TECHNICAL
1
unify
C2
Schéma d’usage :
unifikál két kifejezést / változót
Aucune paire d’exemples pour le moment.
Sens
make expressions logically consistent
Thèmes
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Définition
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Grammaire
Aucun détail grammatical disponible pour le moment.
Expressions
Aucune expression n’est encore associée à cette entrée.