City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Лекция 2
Introduction to Coq
What:
Lecture
When:
Sunday, 22 September 2019, 13:10–14:40
Where:
ПОМИ РАН
Video
