unifikáció
C2
Ungarisch
unification
NOMEN
C2
TECHNICAL
1
unification
C2
Noch keine Beispielpaare.
Bedeutung
matching expressions via substitutions
Themen
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definition
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammatik
Noch keine Grammatikdetails verfügbar.
Ausdrücke
Für diesen Eintrag gibt es noch keine verknüpften Ausdrücke.