unifikál
C2
Hungaria
unify
KATA KERJA
C2
TECHNICAL
1
unify
C2
Pola penggunaan:
unifikál két kifejezést / változót
Belum ada pasangan kalimat contoh.
Arti
make expressions logically consistent
Tema
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definisi
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Tata bahasa
Belum ada detail tata bahasa.
Ungkapan
Belum ada ungkapan yang ditautkan ke entri ini.