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

Лекция 14. Нижняя оценка в системах Фреге ограниченной глубины (продолжение)
Сложность пропозициональных доказательств


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