НАО «ЮРИНФОР»

Подписаться на новости Все новости

Семинар «Зависимые функции в гомотопической теории типов»

состоялся 6 июля (18.00) 2023 г.

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МФТИ. Семинар прошел он-лайн.

Дата:
2023-07-06