unifikáció
C2
Magyar
unification
FŐNÉV
C2
TECHNICAL
1
unification
C2
Még nincsenek példamondatpárok.
Jelentés
matching expressions via substitutions
Témák
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definíció
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Nyelvtan
Még nincsenek elérhető nyelvtani adatok.
Kifejezések
Ehhez a szócikkhez még nincs kapcsolódó kifejezés.