|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
Ю. М. Сметанин, “Использование распределенных вычислений при моделировании предметной области в универсальной силлогистике”, Программные системы: теория и приложения, 15:2 (2024), 87–112 |
|
2022 |
2. |
Ю. М. Сметанин, “Фронтальный алгоритм решения SAT задачи”, Программные системы: теория и приложения, 13:4 (2022), 163–179 |
1
|
|
2017 |
3. |
Ю. М. Сметанин, “Верификация логического следования в неклассической многозначной логике”, Изв. ИМИ УдГУ, 50 (2017), 62–82 |
2
|
4. |
Ю. М. Сметанин, “Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа”, Программные системы: теория и приложения, 8:2 (2017), 69–93 |
3
|
|
2016 |
5. |
Ю. М. Сметанин, “Непарадоксальное логическое следование и проблема решения МЛ-уравнений”, Программные системы: теория и приложения, 7:1 (2016), 99–115 |
3
|
|
2013 |
6. |
Ю. М. Сметанин, “Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, № 2, 127–146 |
|
2011 |
7. |
Ю. М. Сметанин, “Анализ парадоксов материальной импликации в ортогональном базисе силлогистики”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2011, № 4, 144–162 |
1
|
|
2010 |
8. |
Ю. М. Сметанин, “Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 4, 172–185 |
5
|
|
2009 |
9. |
Ю. М. Сметанин, “Ортогональный базис силлогистики”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, № 4, 155–166 |
2
|
|
|
|
2019 |
10. |
А. А. Грызлов, В. А. Зайцев, Д. М. Кинзебулатов, Н. В. Латыпова, В. П. Максимов, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Л. И. Родина, Ю. М. Сметанин, Д. Л. Федоров, “Василий Яковлевич Дерр. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:4 (2019), 612–617 |
11. |
А. П. Бельтюков, А. А. Грызлов, Д. В. Дюгуров, В. А. Зайцев, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Ю. М. Сметанин, А. Д. Яшин, “Николай Николаевич Непейвода. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019), 295–298 |
|