|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
1. |
А. А. Часовских, В. С. Половников, А. А. Хусаенов, Г. В. Боков, А. Ю. Коновалов, А. С. Дробышев, В. А. Бирюкова, “Автоматизация поиска архитектур искусственных нейронных сетей”, Интеллектуальные системы. Теория и приложения, 27:4 (2023), 5–27 |
|
2021 |
2. |
М. И. Щекалёв, Г. В. Боков, В. Б. Кудрявцев, “О сложности линейной укладки нагруженных ориентированных ациклических графов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2021, № 1, 55–57 ; M. I. Shekalev, G. V. Bokov, V. B. Kudryavtsev, “On the complexity of a linear ordering of weighted directed acyclic graphs”, Moscow University Mathematics Bulletin, 76:1 (2021), 35–36 |
|
2020 |
3. |
В. Б. Кудрявцев, В. Н. Козлов, А. П. Рыжов, И. Л. Мазуренко, Г. В. Боков, А. А. Петюшко, “Искусственный интеллект: проблемы и перспективы”, Интеллектуальные системы. Теория и приложения, 24:4 (2020), 33–44 |
4. |
Г. В. Боков, А. С. Дробышев, “Критерий нейропорожденности автоматных функций с задержкой”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 6, 54–55 ; G. V. Bokov, A. S. Drobyshev, “Criterion of neural generation of automaton functions with time delay”, Moscow University Mathematics Bulletin, Moscow University Mеchanics Bulletin, 75:6 (2020), 261–262 |
5. |
Г. В. Сафонов, Г. В. Боков, В. Б. Кудрявцев, “О неприводимости булевых функций относительно коммутативной ассоциативной операции”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 4, 51–53 ; G. V. Safonov, G. V. Bokov, V. B. Kudryavtsev, “On irreduceability of Boolean functions with respect to commutative associative operation”, Moscow University Mathematics Bulletin, 75:4 (2020), 169–171 |
|
2019 |
6. |
Г. В. Боков, “О графовом расширении метода резолюции для булевых формул”, Интеллектуальные системы. Теория и приложения, 23:3 (2019), 35–40 |
7. |
Г. В. Боков, “О конечных заданиях логических систем”, Интеллектуальные системы. Теория и приложения, 23:1 (2019), 57–80 |
|
2018 |
8. |
Г. В. Боков, “От булевых схем к доказательству теорем”, Интеллектуальные системы. Теория и приложения, 22:1 (2018), 123–130 |
2
|
|
2016 |
9. |
Г. В. Боков, “Неразрешимое итеративное пропозициональное исчисление”, Алгебра и логика, 55:4 (2016), 419–431 ; G. V. Bokov, “Undecidable iterative propositional calculus”, Algebra and Logic, 55:4 (2016), 274–282 |
1
|
10. |
Г. В. Боков, “Пропозициональные исчисления как средство задания логических процессов”, Интеллектуальные системы. Теория и приложения, 20:3 (2016), 24–36 |
1
|
|
2015 |
11. |
Г. В. Боков, “Об одной системе Фреге”, Интеллектуальные системы. Теория и приложения, 19:4 (2015), 155–168 |
1
|
12. |
Г. В. Боков, “Неразрешимое суперинтуиционистское пропозициональное исчисление от трёх переменных”, Интеллектуальные системы. Теория и приложения, 19:3 (2015), 95–100 |
1
|
|
2013 |
13. |
Г. В. Боков, “Критерий конечной порожденности пропозициональных исчислений”, Дискрет. матем., 25:3 (2013), 38–63 ; G. V. Bokov, “Criterion for propositional calculi to be finitely generated”, Discrete Math. Appl., 23:5-6 (2013), 399–427 |
|
2009 |
14. |
Г. В. Боков, “Принцип максимума Понтрягина в задаче с временным запаздыванием”, Фундамент. и прикл. матем., 15:5 (2009), 3–19 ; G. V. Bokov, “Pontryagin's maximum principle of optimal control problems with time-delay”, J. Math. Sci., 172:5 (2011), 623–634 |
28
|
|
|
|
2022 |
15. |
В. А. Бирюкова, Г. В. Боков, А. С. Дробышев, Г. В. Калачев, В. С. Половников, Д. В. Ронжин, А. А. Часовских, “Возможности для реализации системы автоматного обучения”, Интеллектуальные системы. Теория и приложения, 26:4 (2022), 5–19 |
|