unifikál
C2
Macarca
unify
FIIL
C2
TECHNICAL
1
unify
C2
Kullanım kalıbı:
unifikál két kifejezést / változót
Henüz örnek cümle çifti yok.
Anlam
make expressions logically consistent
Konular
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Tanım
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Dil bilgisi
Henüz dil bilgisi ayrıntıları bulunmuyor.
İfadeler
Bu maddeyle ilişkili henüz ifade yok.