Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Cook, Stephen A
E-mail:
Website: http://www.cs.toronto.edu/~sacook/

https://www.mathnet.ru/eng/person87284
List of publications on Google Scholar

Presentations in Math-Net.Ru
1. From Computational Complexity to Proof Complexity
S. A. Cook
At St. Petersburg Department of V. A. Steklov Institute of Mathematics of the Russian Academy of Sciences
June 8, 2006   

Organisations