RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Давила Рене
Публикации в базе данных Math-Net.Ru
Blockchain and satisfiability modulo theories for tender systems
Труды ИСП РАН
,
35
:1 (2023),
113–122
©
МИАН
, 2024
