Найти в Дзене
Войти
1,0×
Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 3. Логика первого порядка
18 просмотров · 2 года назад
00:00
/
01:02:16
Teach-In
12,4 тыс подписчиков
Подписаться
2297275873.2003.1770435781725.25494