unifikáció
C2
Vengrų
unification
DAIKTAVARDIS
C2
TECHNICAL
1
unification
C2
Pavyzdžių porų dar nėra.
Reikšmė
matching expressions via substitutions
Temos
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
Apibrėžimas
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
Gramatika
Gramatinės informacijos dar nėra.
Posakiai
Prie šio įrašo dar nėra posakių.