RUS  ENG
Full version
VIDEO LIBRARY

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


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

A. Rodin




© Steklov Math. Inst. of RAS, 2026