unifikál
C2
Ungarsk
unify
UDSAGNSORD
C2
TECHNICAL
1
unify
C2
Brugsmønster:
unifikál két kifejezést / változót
Ingen eksempelpar endnu.
Betydning
make expressions logically consistent
Temaer
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definition
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Grammatik
Ingen grammatiske detaljer endnu.
Udtryk
Ingen udtryk er knyttet til dette opslag endnu.