unifikál
C2
ハンガリー語
unify
動詞
C2
TECHNICAL
1
unify
C2
用法パターン:
unifikál két kifejezést / változót
例文ペアはまだありません。
意味
make expressions logically consistent
テーマ
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
定義
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
文法
文法情報はまだありません。
表現
この項目には、まだ関連する表現がありません。