DictionaryForumContacts

   Russian English
Google | Forvo | +
определить выполнимость логических формулstresses
AI. check satisfiability of logical formulas (Alex_Odeychuk)