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.
व्याकरण
व्याकरणाची माहिती अजून उपलब्ध नाही.
वाक्प्रचार
या नोंदीशी अद्याप कोणतेही वाक्प्रचार जोडलेले नाहीत.