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

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

Семинар: «Среда для определения и изучения систем зависимых типов и необходимые для неё метатеоретические средства»

состоялся 12 октября (18.00) 2023 г.

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

Дата:
2023-10-12