Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection



At St. Petersburg Department of V. A. Steklov Institute of Mathematics of the Russian Academy of Sciences
June 8, 2006, St. Petersburg 		 

From Computational Complexity to Proof Complexity

S. A. Cook

University of Toronto
Video records:
Flash Video 369.8 Mb
MP4 484.2 Mb

Number of views:
This page:174
Video files:40

S. A. Cook


 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024