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