Kovács Laura

Presentations in Math-Net.Ru

1. First-Order Theorem Proving and Vampire. Lecture 3
   L. Kovács
   Logical Perspectives 2021: Summer School and Workshop
   June 16, 2021 13:00   
2. First-Order Theorem Proving and Vampire. Lecture 2
   L. Kovács
   Logical Perspectives 2021: Summer School and Workshop
   June 15, 2021 13:00   
3. First-Order Theorem Proving and Vampire. Lecture 1
   L. Kovács
   Logical Perspectives 2021: Summer School and Workshop
   June 14, 2021 13:00