DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

first-order logic-based formalism

contraintes
logiq. формализм логики первого порядка (quantifiers Alex_Odeychuk)