| |
Львов, М. С.
Проектирование логического вывода пошагового решения задач в математических системах учебного назначения [Текст] / М. С. Львов
// УСиМ. – 2008. – № 1. – 25-32.
Рассмотрена задача компьютерной поддержки решения математических задач в математических учебных системах |
