Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Рубцова Наталья Михайловна
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:275
Страницы публикаций:345
Полные тексты:180
Списки литературы:51
E-mail:

https://www.mathnet.ru/rus/person28781
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2007
1. Н. М. Рубцова, “Логика доказательств с операцией подстановки”, Матем. заметки, 82:6 (2007),  905–915  mathnet  mathscinet  zmath  elib; N. M. Rubtsova, “Logic of Proofs with Substitution”, Math. Notes, 82:6 (2007), 816–826  isi  scopus 2

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