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