unifikál
C2
Vengrų
unify
VEIKSMAŽODIS
C2
TECHNICAL
1
unify
C2
Vartosenos šablonas:
unifikál két kifejezést / változót
Pavyzdžių porų dar nėra.
Reikšmė
make expressions logically consistent
Temos
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Apibrėžimas
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Gramatika
Gramatinės informacijos dar nėra.
Posakiai
Prie šio įrašo dar nėra posakių.