RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
14 июня 2021 г.
13:00
, г. Москва, online
First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács
Язык доклада:
английский
Цикл лекций
First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács,
14 июня 2021 г.
13:00
First-Order Theorem Proving and Vampire. Lecture 2
L. Kovács,
15 июня 2021 г.
13:00
First-Order Theorem Proving and Vampire. Lecture 3
L. Kovács,
16 июня 2021 г.
13:00
©
МИАН
, 2024