Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kovács, Laura

Statistics Math-Net.Ru
Presentations: 3

Number of views:
This page:7
Website: http://lkovacs.com/

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

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
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021