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

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