Вторушин Юрий Игоревич

Публикации в базе данных Math-Net.Ru

1. Алгоритм очевидности для первопорядковой логики предикатов с равенством
   
   Интеллектуальные системы. Теория и приложения, 25:1 (2021),  21–28
2. О верификации формализованных математических доказательств
   
   Интеллектуальные системы. Теория и приложения, 24:1 (2020),  7–24