Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kovács, Laura
Website: http://lkovacs.com/

https://www.mathnet.ru/eng/person174260
List of publications on Google Scholar

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   

Organisations