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