Город: Язык: Русский English

Доказательство PCP теоремы (окончание)
Вероятностно проверяемые доказательства


Что: Лекция
Когда: Воскресенье, 28 октября 2012, 13:00–14:35
Где: ПОМИ РАН

Описание

Повышение зазора: анализ основной конструкции.