“СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА” (2013) Computer Tools in Education [Preprint], (3-4). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/66 (Accessed: 24 July 2026).