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

Базы данных


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

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

    Смирнов, В. А.
    Формальный вывод и логические исчисления [Текст] / В. А. Смирнов ; АН СССР, Ин-т философии. - М. : Наука, 1972. - 270, [1] с. - 0.67 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
формализация гильбертовского типа -- дедукции для логистических систем -- системы натурального вывода -- метод субординатного вывода -- логические секвенциальные системы


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