unifikáció
C2
Hongaars
unification
ZELFSTANDIG NAAMWOORD
C2
TECHNICAL
1
unification
C2
Nog geen voorbeeldparen beschikbaar.
Betekenis
matching expressions via substitutions
Thema's
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definitie
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammatica
Nog geen grammaticagegevens beschikbaar.
Uitdrukkingen
Er zijn nog geen uitdrukkingen gekoppeld aan dit item.