DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

many-sorted first-order logic

contraintes
logiq. многосортная логика первого порядка (Alex_Odeychuk)