Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Лекция 14. Нижняя оценка в системах Фреге ограниченной глубины (продолжение)
Сложность пропозициональных доказательств
Что:
Лекция
Когда:
Вторник, 12 декабря 2017, 18:30–20:00
Где:
ПОМИ РАН
