DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

satisfiability of logical formulas with quantifiers

contraintes
intell. выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)