unifikáció
C2
Hungarian
unification
PANGNGALAN
C2
TECHNICAL
1
unification
C2
Wala pang mga pares ng halimbawa.
Kahulugan
matching expressions via substitutions
Mga tema
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Depinisyon
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramatika
Wala pang mga detalye ng gramatika.
Mga ekspresyon
Wala pang mga ekspresyong nakaugnay sa entry na ito.