RUS
ENG
Полная версия
СЕМИНАРЫ
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
9 декабря 2019 г.
16:30
, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
Лекция 10. Комбинаторная логика
Л. Д. Беклемишев
https://youtu.be/DLX6Zfm-GUY
©
МИАН
, 2024