Математическое и программное обеспечение перспективных систем обработки символьной информации - Отчет за 2016-2020 гг.отчет