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.
문법
아직 문법 정보가 없어요。
표현
아직 연결된 표현이 없어요．