unifikáció
C2
Ungarsk
unification
SUBSTANTIV
C2
TECHNICAL
1
unification
C2
Ingen eksempelpar ennå.
Betydning
matching expressions via substitutions
Temaer
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definisjon
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammatikk
Ingen grammatikkopplysninger ennå.
Uttrykk
Ingen uttrykk er knyttet til dette oppslaget ennå.