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.
వ్యాకరణం
ఇంకా వ్యాకరణ వివరాలు అందుబాటులో లేవు.
పదప్రయోగాలు
ఈ ఎంట్రీకి ఇంకా సంబంధిత పదప్రయోగాలు లేవు.