Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Чушкин Михаил Сергеевич

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

Статистика просмотров:
Эта страница:90
Страницы публикаций:210
Полные тексты:80
Списки литературы:66
E-mail:

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

Публикации в базе данных Math-Net.Ru Цитирования
2017
1. М. С. Чушкин, “Завершение эскизов предикатных программ методом синтеза через контрпримеры”, ПДМ. Приложение, 2017, № 10,  151–153  mathnet
2016
2. М. С. Чушкин, В. И. Шелехов, “Методы синтеза фрагментов предикатных программ”, ПДМ. Приложение, 2016, № 9,  126–128  mathnet

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