Kovács Laura

Доклады и лекции в базе данных Math-Net.Ru

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