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

Search
RSS
New in collection



One-day conference dedicated to the memory of Vladimir A. Voevodsky
December 28, 2017 16:00–16:30, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor 		 

Унивалентные основания и автоматическая проверка доказательств

A. Rodin
Video records:
MP4 1,246.8 Mb
MP4 341.6 Mb

Number of views:
This page:973
Video files:401

A. Rodin
Photo Gallery


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