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.
دستور زبان
هنوز جزئیات دستوری در دسترس نیست.
عبارتها
هنوز عبارتی به این مدخل مرتبط نشده است.