Факультативный курс ''Система автоматизации процесса решения задач''. Часть 2. Построение доказательства

معرفی کتاب «Факультативный курс ''Система автоматизации процесса решения задач''. Часть 2. Построение доказательства» نوشتهٔ Дмитриева М., Павлова М.، منتشرشده توسط نشر Компьютерные инструменты в образовании. - СПб.: Изд-во ЦПО ''Информатизация образования'' در سال 1998. این کتاب در فرمت pdf، زبان ru ارائه شده است.