СловникиФорумКонтакти

   Англійська Російська +
Google | Forvo | +

satisfiability of logical formulas with quantifiers

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