unifikál
C2
Hungary
unify
KATA KERJA
C2
TECHNICAL
1
unify
C2
Corak penggunaan:
unifikál két kifejezést / változót
Belum ada pasangan ayat contoh buat masa ini.
Maksud
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.
Tatabahasa
Belum ada butiran tatabahasa buat masa ini.
Ungkapan
Belum ada ungkapan yang dipautkan kepada entri ini.