Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Kovács Laura
В базах данных Math-Net.Ru
Лекций и докладов:
3
Статистика просмотров:
Эта страница:
53
Сайт:
http://lkovacs.com/
https://www.mathnet.ru/rus/person174260
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
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
Организации
Vienna University of Technology
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024