DiccionariosForoContactos

   Inglés Ruso +
Google | Forvo | +

satisfiability of logical formulas with quantifiers

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