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

Алгебраические и полуалгебраические системы доказательств
Теория сложности доказательств


Что: Лекция
Когда: Четверг, 11 ноября 2010, 18:30–20:55
Где: ПОМИ РАН

Видео