Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Kohlenbach Ulrich
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Лекций и докладов:
1
Статистика просмотров:
Эта страница:
144
Страницы публикаций:
899
Полные тексты:
287
Списки литературы:
75
E-mail:
email
Сайт:
https://www2.mathematik.tu-darmstadt.de/~kohlenbach/
https://www.mathnet.ru/rus/person27415
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/320906
Публикации в базе данных
Math-Net.Ru
Цитирования
2003
1.
U. Kohlenbach, P. Oliva, “Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics”,
Труды МИАН
,
242
(2003),
147–175
;
Proc. Steklov Inst. Math.
,
242
(2003),
136–164
39
Доклады и лекции в базе данных
Math-Net.Ru
1.
Applications of proof theory to core mathematics: Recent developments
U. Kohlenbach
Logical Perspectives 2021: Conference
10 июня 2021 г.
16:00
Организации
Technische Universität Darmstadt
University of Aarhus
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024