[Коллоквиум]: Семантические технологии: новая жизнь для математической логики
Докладчики: Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London Станислав Кикоть, ИППИ ...
37 views
1406
436
2 years ago
01:30:52
1
12. Семантические зависимости для моделей памяти (2/2)
2 years ago
01:42:15
1
6. Семантика малого шага, логика Хоара
2 years ago
01:26:11
1
11. Семантические зависимости для моделей памяти (1/2). Структуры событий
2 years ago
00:59:12
1
7. Coq. Семантика малого шага, логика Хоара
2 years ago
01:27:41
1
1. Семантика и её значение
2 years ago
00:58:40
1
3. Семантика большого шага для императивного языка
4 years ago
00:39:07
1
QS Английский язык BMG - Вариативная тренировка
4 years ago
01:16:01
36
[Коллоквиум]: Семантические технологии: новая жизнь для математической логики
5 years ago
00:00:00
9
Интервью. Допрос. Экзамен. Общее и различие.
9 years ago
01:17:29
34
[Коллоквиум]: Морфологические методы анализа формы данных
Back to Top