Вклад участника
Перейти к:
навигация
,
поиск
178.178.21.90
24 июня 2012
PS-полнота языка верных булевых формул с кванторами (TQBF)
исправил значки следствия
19:59
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Служебная страница
Варианты
Просмотры
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати