Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Das Anupam
В базах данных Math-Net.Ru
Лекций и докладов:
5
Статистика просмотров:
Эта страница:
53
E-mail:
email
Сайт:
https://www.anupamdas.com/
https://www.mathnet.ru/rus/person201103
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
Lecture 4. Bounded Arithmetic and Proof Complexity
A. Das
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
28 сентября 2023 г.
16:00
2.
Lecture 3. Bounded Arithmetic and Proof Complexity
A. Das
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
27 сентября 2023 г.
16:00
3.
Lecture 2. Bounded Arithmetic and Proof Complexity
A. Das
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
21 сентября 2023 г.
16:00
4.
Lecture 1. Bounded Arithmetic and Proof Complexity
A. Das
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
20 сентября 2023 г.
16:00
5.
Computational expressivity of (circular) proofs with fixed points
A. Das
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 сентября 2023 г.
18:30
Организации
University of Birmingham
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024