unifikáció
C2
Maďarština
unification
PODSTATNÉ JMÉNO
C2
TECHNICAL
1
unification
C2
Zatím nejsou k dispozici žádné dvojice příkladových vět.
Význam
matching expressions via substitutions
Témata
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definice
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramatika
Zatím nejsou k dispozici žádné gramatické údaje.
Výrazy
K tomuto heslu zatím nejsou přiřazené žádné výrazy.