unifikáció
C2
Húngaro
unification
NOME
C2
TECHNICAL
1
unification
C2
Ainda não há pares de exemplos.
Significado
matching expressions via substitutions
Temas
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definição
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramática
Ainda não há detalhes gramaticais disponíveis.
Expressões
Ainda não há expressões associadas a esta entrada.