Теория сложности доказательств. Лекция 6
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
28.10.10
Дата публикации:
28.10.10
Код для блога:
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20101028_proof_complexity_hirsch_lecture06.pdfДругие лекции курса
6