unifikál
C2
Ungarsk
unify
VERB
C2
TECHNICAL
1
unify
C2
Bruksmønster:
unifikál két kifejezést / változót
Ingen eksempelpar ennå.
Betydning
make expressions logically consistent
Temaer
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definisjon
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Grammatikk
Ingen grammatikkopplysninger ennå.
Uttrykk
Ingen uttrykk er knyttet til dette oppslaget ennå.