unifikáció
C2
Húngaro
unification
SUSTANTIVO
C2
TECHNICAL
1
unification
C2
Todavía no hay pares de ejemplos.
Significado
matching expressions via substitutions
Temas
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definición
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramática
Todavía no hay detalles gramaticales disponibles.
Expresiones
Todavía no hay expresiones vinculadas a esta entrada.