СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА
Abstract
Статья написана в соавторстве с М.В. Павловой. Статья продолжает материал авторов из номера 2 за 1998 год. В данной статье обсуждается переход от нескольких от известных утверждений к некоторому новому утверждению.Downloads
Published
2013-12-18
Issue
Section
Articles
License
This work is licensed under a Creative Commons Attribution 4.0 International License.
How to Cite
[1]
“СИСТЕМА АВТОМАТИЗАЦИИ ПРОЦЕССА РЕШЕНИЯ ЗАДАЧ. ЧАСТЬ 2. ПОСТРОЕНИЕ ДОКАЗАТЕЛЬСТВА”, Компьютерные инструменты в образовании, no. 3-4, Dec. 2013, Accessed: Jul. 24, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/66
