Семинар «Динамическое формирование правил редукции во время вычисления редуцируемого терма»

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