Изменения

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

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

1 байт добавлено, 17:41, 14 марта 2018

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

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

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

Анонимный участник

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