СловникиФорумКонтакти

   Російська Англійська +
Google | Forvo | +

односторонняя унификация

наголоси
логіка one-sided unification (Alex_Odeychuk)
шт.інтел. one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)