unification

algorithmic process of solving equations between symbolic expressions

en-US/ˌjunəfeɪˈkeɪʃən/
en-GB/ˌjuːnɪfɪˈkeɪʃən/

زمرے:

algorithm