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.
语法
暂无语法信息。
相关表达
这个词条暂未关联相关表达。