Джудакизаде Милад

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

1. Adaptive human–machine theorem proving system
   
   Изв. ИМИ УдГУ, 64 (2024),  17–33
2. Two-level realization of logical formulas for deductive program synthesis
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:4 (2024),  469–485
3. Взаимное моделирование последовательных и параллельных словарных вычислений
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:2 (2024),  299–308