unifikáció
C2
Węgierski
unification
RZECZOWNIK
C2
TECHNICAL
1
unification
C2
Brak par przykładów.
Znaczenie
matching expressions via substitutions
Tematy
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definicja
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramatyka
Brak informacji gramatycznych.
Wyrażenia
Brak jeszcze powiązanych wyrażeń dla tego hasła.