Вид документа : Статья из журнала Шифр издания : Автор(ы) : Иванов, Григорий Заглавие : "ТеорМат" - программа, обучающая доказательству теорем : материал технической информации Место публикации : Мир ПК. - М., 2004. - №1. - С. 58-59: цв.ил. Предметные рубрики: Обучающие программы Ключевые слова (''Своб.индексиров.''): поле доказательства--рабочий стол --переменная--математический анализ--условие Экземпляры :(1) Свободны : (1) Держатели документа: Уральск