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

Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Теория сложности доказательств

Что: Лекция
Когда: Четверг, 30 сентября 2010, 18:30–20:55
Где: ПОМИ РАН
Слайды: proofcomplexity_lecture_300910.pdf

Видео

Приложенные файлы

Computer Science Club, 2007–24 гг.