Теория сложности доказательств. Лекция 5
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
21.10.10
Дата публикации:
21.10.10
Код для блога:
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20101021_proof_complexity_hirsch_lecture05.pdfДругие лекции курса
6