| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
В Санкт-Петербургском отделении Математического института им. В. А. Стеклова РАН
|
|||
|
|
|||
|
From Computational Complexity to Proof Complexity S. A. Cook University of Toronto |
|||
|
|
|||