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.
Γραμματική
Δεν υπάρχουν ακόμη διαθέσιμες γραμματικές πληροφορίες.
Εκφράσεις
Δεν υπάρχουν ακόμη συνδεδεμένες εκφράσεις για αυτή την καταχώριση.