unifikáció
C2
Macarca
unification
İSIM
C2
TECHNICAL
1
unification
C2
Henüz örnek cümle çifti yok.
Anlam
matching expressions via substitutions
Konular
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Tanım
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Dil bilgisi
Henüz dil bilgisi ayrıntıları bulunmuyor.
İfadeler
Bu maddeyle ilişkili henüz ifade yok.