Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ognjanović Zoran

В базах данных Math-Net.Ru
Лекций и докладов: 2

Статистика просмотров:
Эта страница:270
Страницы докладов:1348
Видео записи:136

https://www.mathnet.ru/rus/person200899
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/351806

Доклады и лекции в базе данных Math-Net.Ru
1. Beyond the class of locally finite height Kripke models for provability logic
Angelina Ilić-Stepić, Z. Ognjanović, Aleksandar Perović
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 февраля 2025 г. 16:00   
2. Logics with Probability Operators. Completeness and Decidability
Z. Ognjanović
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 декабря 2023 г. 18:30   
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026