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

Search
RSS
New in collection



Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
December 18, 2009 12:00, Moscow 		 

Optimal proof systems and algorithms (review)

E. A. Hirsch
Video records:
Real Video 129.3 Mb
Windows Media 135.3 Mb
Flash Video 203.1 Mb
MP4 196.3 Mb

Number of views:
This page:459
Video files:207

E. A. Hirsch


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