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 16, 2009 16:05, Moscow 		 

Hilbert's tenth problem and the models of computational processes

Yu. V. Matiyasevich
Video records:
Real Video 192.0 Mb
Windows Media 198.2 Mb
Flash Video 232.5 Mb
MP4 287.8 Mb
Supplementary materials:
Adobe PDF 437.0 Kb

Number of views:
This page:1014
Video files:418
Materials:533

Yu. V. Matiyasevich




Supplementary materials: MIAN_POMI_2009_prn.pdf (437.0 Kb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024