RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Яворская Татьяна

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

Статистика просмотров:
Эта страница:300
Страницы публикаций:354
Полные тексты:99
Списки литературы:33
E-mail:

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

Публикации в базе данных Math-Net.Ru
1. On first order logic of proofs
S. N. Artemov, T. Yavorskaya
Mosc. Math. J., 1:4 (2001),  475–490
2. Логика доказуемости с операциями над доказательствами
Т. Л. Сидон
Фундамент. и прикл. матем., 3:4 (1997),  1173–1197

Доклады и лекции в базе данных Math-Net.Ru
1. First order logic of proofs
Tatiana Yavorskaya
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15   

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