| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
|
|||
|
|
|||
|
Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF С. Л. Кузнецов, Т. Г. Пшеницын |
|||
|
|
|||
