DictionaryForumContacts

   English Russian
Google | Forvo | +
satisfiability of logical formulas with quantifiersstresses
AI. выполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)