toIPA
Home
Blog
Category
Unification
algorithmic process of solving equations between symbolic expressions
Pronunciation
/ˌjunəfəˈkeɪʃən/
/ˌjuːnɪfɪˈkeɪʃən/
Categories
algorithm