unifikál
C2
Hungary
unify
ĐỘNG TỪ
C2
TECHNICAL
1
unify
C2
Mẫu sử dụng:
unifikál két kifejezést / változót
Chưa có cặp câu ví dụ nào.
Nghĩa
make expressions logically consistent
Chủ đề
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Định nghĩa
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Ngữ pháp
Chưa có thông tin ngữ pháp.
Cách diễn đạt
Chưa có cách diễn đạt nào được liên kết với mục từ này.