unifikáció
C2
Hungary
unification
KATA NAMA
C2
TECHNICAL
1
unification
C2
Belum ada pasangan ayat contoh buat masa ini.
Maksud
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.
Tatabahasa
Belum ada butiran tatabahasa buat masa ini.
Ungkapan
Belum ada ungkapan yang dipautkan kepada entri ini.