Изменения

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

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

65 байт добавлено, 00:09, 11 марта 2018

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

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

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

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

442

правки

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