|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
M. Joudakizadeh, A. P. Bel'tyukov, “Adaptive human–machine theorem proving system”, Изв. ИМИ УдГУ, 64 (2024), 17–33  |
| 2. |
M. Joudakizadeh, A. P. Bel'tyukov, “Two-level realization of logical formulas for deductive program synthesis”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:4 (2024), 469–485 |
| 3. |
А. П. Бельтюков, С. Г. Маслов, М. Джудакизаде, “Взаимное моделирование последовательных и параллельных словарных вычислений”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:2 (2024), 299–308  |
|
Обратная связь: