Семинар «Линейные и ветвящиеся временные логики. Часть 1. Структуры Крипке»

состоялся 04 июля (18.00) 2024 г.

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

Дата:

2024-07-04