RUS
ENG
Full version
VIDEO LIBRARY
Summer mathematical school "Algebra and Geometry", 2014
July 30, 2014
11:30
Как писать математику используя систему Кок II
V. A. Voevodsky
Series of lectures
Как писать математику используя систему Кок I
V. A. Voevodsky,
July 29, 2014
14:30
Как писать математику используя систему Кок II
V. A. Voevodsky,
July 30, 2014
11:30
©
Steklov Math. Inst. of RAS
, 2024