unifikáció
C2
Hongrois
unification
NOM
C2
TECHNICAL
1
unification
C2
Aucune paire d’exemples pour le moment.
Sens
matching expressions via substitutions
Thèmes
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Définition
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammaire
Aucun détail grammatical disponible pour le moment.
Expressions
Aucune expression n’est encore associée à cette entrée.