Львов, М.С.
(Штучний інтелект, 2011)
В работе сформулированы основные задачи систем компьютерной математики учебного назначения, реализация которых обеспечивает интеллектуальные свойства этих систем. Описаны методы решения задач верификации хода решения учебной ...