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

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1
Лекций и докладов: 1

Статистика просмотров:
Эта страница:144
Страницы публикаций:899
Полные тексты:287
Списки литературы:75
E-mail:
Сайт: 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  mathnet  mathscinet  zmath; 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   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024