Дмитриева, М. (2013). СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА. Computer Tools in Education, (3-4). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/66