Zaloguj się | Polish | Umowa użytkownika

Google | Forvo | +

satisfiability of logical formulas with quantifiers

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

Dodaj | Zgłoś błąd | Krótki link