DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

check satisfiability of logical formulas

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