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.
گرامر
ابھی تک گرامر کی تفصیلات دستیاب نہیں ہیں۔
عبارات
اس اندراج سے ابھی تک کوئی عبارت منسلک نہیں کی گئی۔