unification

algorithmic process of solving equations between symbolic expressions

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

ক্যাটাগরি:

algorithm