| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
At St. Petersburg Department of V. A. Steklov Institute of Mathematics of the Russian Academy of Sciences
|
|||
|
|
|||
|
From Computational Complexity to Proof Complexity S. A. Cook University of Toronto |
|||
|
|
|||