RUS
ENG
Full version
VIDEO LIBRARY
Logical Perspectives 2021: Summer School and Workshop
June 14, 2021
13:00
, Moscow, online
First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács
Language:
English
Series of lectures
First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács,
June 14, 2021
13:00
First-Order Theorem Proving and Vampire. Lecture 2
L. Kovács,
June 15, 2021
13:00
First-Order Theorem Proving and Vampire. Lecture 3
L. Kovács,
June 16, 2021
13:00
©
Steklov Math. Inst. of RAS
, 2024
