Изменения

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

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

Нет изменений в размере, 23:18, 14 марта 2018

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

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

#*[https://en.wikipedia.org/wiki/True_quantified_Boolean_formula| Wikipedia {{---}} True quantified Boolean formula]

442

правки

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