unification

algorithmic process of solving equations between symbolic expressions

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

دسته بندی ها:

algorithm