Факультативный курс ''Система автоматизации процесса решения задач''. Часть 2. Построение доказательства
Дмитриева М., Павлова М.
Статья продолжает материал авторов из номера 2 за 1998 год. В данной статье обсуждается переход от нескольких от известных утверждений к некоторому новому утверждению.