unifikáció
C2
Ungherese
unification
SOSTANTIVO
C2
TECHNICAL
1
unification
C2
Nessuna coppia di esempi disponibile al momento.
Significato
matching expressions via substitutions
Temi
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definizione
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammatica
Nessun dettaglio grammaticale disponibile al momento.
Espressioni
Ancora nessuna espressione collegata a questa voce.