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

Другие лекции курса
6