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