Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО<.>)
Общее количество найденных документов : 1
1.
   517
   Б 898

    Брюшинкин, Владимир Никифорович.
    Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Калининград : Издательство Балтийского федерального ун-та им. Иммануила Канта, 2012. - 166 с. - (Библиотека электронного журнала "РАЦИО.ru" ; вып. 6). - Библиогр.: с. 158-166. - ISBN 978-5-9971-0222-7 : 200 р.
ГРНТИ
27.03.19
УДК
510.66
Рубрики: Математическая логика--Поиск вывода
Кл.слова (ненормированные):
ПОИСК ВЫВОДА -- ГИЛЬБЕРТОВСКАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО -- ЭВРИСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ


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