Изменения

Перейти к: навигация, поиск

Булевые формулы с кванторами как игры для двух игроков

76 байт убрано, 21:45, 11 марта 2018

→‎Источники информации

[[Категория:Теория формальных языков]]

[[Категория:Автоматы и регулярные языки]]

~~[[Категория:Свойства конечных автоматов]]~~

[[Категория:Математическая логика]]

442

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/64177»