|
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 |
|||
|