Изменения

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

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

1 байт добавлено, 23:18, 14 марта 2018
→‎Источники информации
==Источники информации==
*[https://en.wikipedia.org/wiki/True_quantified_Boolean_formula| Wikipedia {{---}} True quantified Boolean formula]
Ponomarev
442
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/64177...64368»

Навигация