Курс С.Л. Кузнецова. МФТИ - МИАН. Лямбда-исчисление
Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
6 сентября 2021 г.16:25, г.Москва, МИАН, комн.430 (ул. Губкина,8) + Zoom
Источник: www.mathnet.ru/present31858
Все видео курса: www.mathnet.ru/conf1845
• 2021 г. С.Л. Кузнецов....
Негізгі бет Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
Пікірлер: 3