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

Базы данных


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

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: <.>K=автоматизация доказательств<.>
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 22.18/Г 55
Автор(ы) : Глушков, Виктор Михайлович
Заглавие : Машина доказывает
Выходные данные : М.: Знание, 1981
Колич.характеристики :61, [2] с
Серия: Новое в жизни науке, технике. Серия "Математика, кибернетика"; вып.12
Цена : 0.11 р.
ББК : 22.18
Предметные рубрики: Математика-- кибернетика
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)