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

Google | Forvo | +

satisfiability of logical formulas with quantifiers

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

Додати | Повідомити про помилку | Коротке посилання