unifikáció
C2
ฮังการี
unification
คำนาม
C2
TECHNICAL
1
unification
C2
ยังไม่มีคู่ประโยคตัวอย่าง
ความหมาย
matching expressions via substitutions
หัวข้อ
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
คำจำกัดความ
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
ไวยากรณ์
ยังไม่มีรายละเอียดไวยากรณ์
วลีและสำนวน
ยังไม่มีวลีหรือสำนวนที่เชื่อมโยงกับคำนี้