RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Родин Андрей Вячеславович
Публикации в базе данных Math-Net.Ru
Компьютерные доказательства и их понимание человеком: случай унивалентных оснований
Интеллектуальные системы. Теория и приложения
,
25
:4 (2021),
337–342
©
МИАН
, 2025
