unifikáció
C2
Hungary
unification
DANH TỪ
C2
TECHNICAL
1
unification
C2
Chưa có cặp câu ví dụ nào.
Nghĩa
matching expressions via substitutions
Chủ đề
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Định nghĩa
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
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.