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

Базы данных


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

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

    Глушков, Виктор Михайлович.
    Машина доказывает [Текст] / В. М. Глушков. - М. : Знание, 1981. - 61, [2] с. - (Новое в жизни науке, технике. Серия "Математика, кибернетика" ; вып.12). -
ББК 22.18
Рубрики: Математика--кибернетика
Кл.слова (ненормированные):
автоматизация доказательств

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