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.
ব্যাকরণ
এখনও কোনো ব্যাকরণের বিস্তারিত তথ্য নেই।
অভিব্যক্তি
এই এন্ট্রির সঙ্গে এখনো কোনো অভিব্যক্তি যুক্ত করা হয়নি।