unifikáció
C2
Hungaria
unification
KATA BENDA
C2
TECHNICAL
1
unification
C2
Belum ada pasangan kalimat contoh.
Arti
matching expressions via substitutions
Tema
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definisi
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Tata bahasa
Belum ada detail tata bahasa.
Ungkapan
Belum ada ungkapan yang ditautkan ke entri ini.