Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Лекция 15. Оптимальные и p-оптимальные системы доказательств
Сложность пропозициональных доказательств

Что: Лекция
Когда: Вторник, 19 декабря 2017, 18:30–20:00
Где: ПОМИ РАН