Липачев Евгений Константинович; Елизаров Александр Михайлович; Кириллович Александр Витальевич; Невзорова Ольга Авенировна
(2016)
Представлены основные идеи, подходы и уже полученные результаты, развиваемые в рамках проекта по разработке технологий управления математическими знаниями на основе онтологий.