Публикации в базе данных Math-Net.Ru
-
The task-based approach: a new paradigm for building trustworthy artificial intelligence
Известия Иркутского государственного университета. Серия Математика, 54 (2025), 96–112
-
Task-based approach to digital transformations
Известия Иркутского государственного университета. Серия Математика, 54 (2025), 78–95
-
The expressiveness of looping terms in the semantic programming
Сиб. электрон. матем. изв., 17 (2020), 380–394
-
Рекурсивные термы в семантическом программировании
Сиб. матем. журн., 59:6 (2018), 1279–1290
-
Математические основы семантического программирования
Докл. АН СССР, 289:6 (1986), 1324–1328
-
К теории синтеза программ
Тр. Ин-та математики, 2 (1982), 159–175
© , 2026