unifikáció
C2
Maghiară
unification
SUBSTANTIV
C2
TECHNICAL
1
unification
C2
Încă nu există perechi de exemple.
Sens
matching expressions via substitutions
Teme
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definiție
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramatică
Încă nu sunt disponibile detalii gramaticale.
Expresii
Nu există încă expresii asociate acestei intrări.