Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 3. Логика первого порядка
Teach-In
Логика первого порядка. Методы автоматизации доказательств. Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
1:33:45
