В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Математическая логика
/
осень 2020
/

Лекция 10. Темпоральные логики

Среда, 18 ноября 2020
Онлайн, занятие в zoom