Se connecter | French | Conditions d'utilisation
DictionnaireLe forumContacts

   Russe ⇄ Anglais
Google | Forvo | +
односторонняя унификацияcontraintes
intell. one-way unification (it binds variables only on one side of the equation Alex_Odeychuk)
logiq. one-sided unification (Alex_Odeychuk)

Ajouter | Signaler une erreur | Obtenir une URL courte | Conseils pour la sélection de la langue