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