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.
文法
文法情報はまだありません。
表現
この項目には、まだ関連する表現がありません。