unifikáció
C2
Ungerska
unification
SUBSTANTIV
C2
TECHNICAL
1
unification
C2
Inga exempelpar ännu.
Betydelse
matching expressions via substitutions
Teman
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Definition
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Grammatik
Inga grammatikdetaljer ännu.
Uttryck
Det finns inga uttryck kopplade till det här uppslagsordet än.