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.
व्याकरण
अभी तक व्याकरण की जानकारी उपलब्ध नहीं है।
अभिव्यक्तियाँ
इस प्रविष्टि से अभी कोई अभिव्यक्ति नहीं जुड़ी है।