unifikáció
C2
Unkari
unification
SUBSTANTIIVI
C2
TECHNICAL
1
unification
C2
Esimerkkipareja ei ole vielä saatavilla.
Merkitys
matching expressions via substitutions
Teemat
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Määritelmä
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Kielioppi
Kielioppitietoja ei ole vielä saatavilla.
Ilmaukset
Tähän hakusanaan ei ole vielä liitetty ilmauksia.