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

Статистика просмотров:
Эта страница:87
Страницы публикаций:231
Полные тексты:88
Списки литературы:41

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

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. Ю. И. Вторушин, “Алгоритм очевидности для первопорядковой логики предикатов с равенством”, Интеллектуальные системы. Теория и приложения, 25:1 (2021),  21–28  mathnet
2020
2. Ю. И. Вторушин, “О верификации формализованных математических доказательств”, Интеллектуальные системы. Теория и приложения, 24:1 (2020),  7–24  mathnet

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