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

Статистика просмотров:
Эта страница:56
Страницы публикаций:258
Полные тексты:185
Списки литературы:33
кандидат физико-математических наук (2013)
Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
Дата рождения: 27.04.1988
E-mail:

Научная биография:

Трудилась на каф. алгоритмических языков ВМК МГУ (1.10.2010-31.12.2013).

Моросанова, Наталья Александровна. Методы вычисления оценок уверенности формально построенных выводов : дис. ... канд. физ.-матем. наук : 05.13.11; [Место защиты: ВМК МГУ им. М.В. Ломоносова]. - Москва, 2013. - 106 с.

https://www.mathnet.ru/rus/person73083
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
ИСТИНА https://istina.msu.ru/workers/1823749

Публикации в базе данных Math-Net.Ru Цитирования
2012
1. Н. А. Моросанова, С. Ю. Соловьев, “Формальные свойства схемы Шортлиффа”, УБС, 36 (2012),  5–38  mathnet

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