Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Cook, Stephen A

Statistics Math-Net.Ru
Presentations: 1

Number of views:
This page:67
E-mail:
Website: http://www.cs.toronto.edu/~sacook/

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

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
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024