unifikáció
C2
Ungarsk
unification
NAVNEORD
C2
TECHNICAL
1
unification
C2
Ingen eksempelpar endnu.
Betydning
matching expressions via substitutions
Temaer
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
Ingen grammatiske detaljer endnu.
Udtryk
Ingen udtryk er knyttet til dette opslag endnu.