Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Тестовая библиотечная БД
БД "Электронный каталог РНТБ"
БД "Регистрационная картотека периодических изданий РНТБ"
БД "Стандарты"
БД "Диссертации"
БД "Нормативно-техническая документация"
БД "Промышленные каталоги"
БД "Генеральный сводный каталог РНТБ и филиалов"
БД "Полнотекстовые ресурсы удаленного доступа"
БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>A=Иванов, Григорий$<.>
Общее количество найденных документов : 1
1.


    Иванов, Григорий.
    "ТеорМат" - программа, обучающая доказательству теорем [Текст] : материал технической информации / Г. Иванов // Мир ПК. - 2004. - №1. - С. 58-59 : цв.ил.
Рубрики: Обучающие программы
Кл.слова (ненормированные):
поле доказательства -- рабочий стол -- переменная -- математический анализ -- условие

Держатели документа:
Уральск
Имеются экземпляры в отделах: всего 1
Свободны: 1

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)