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

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

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. О. С. Заикин, В. В. Давыдов, А. П. Кирьянова, “Применение алгоритмов решения проблемы булевой выполнимости для анализа финалистов конкурса SHA-3”, Выч. мет. программирование, 25:3 (2024),  259–273  mathnet

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