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

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=681.518+519.816<.>)
Общее количество найденных документов : 1
1.
681
Д 706

   
    Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] / [под ред. В. Н. Вагина, Д. А. Поспелова]. - М. : ФИЗМАТЛИТ, 2004. - 704 с. - Библиогр.: с. 633-662. - ISBN 5-9221-0474-8 : 230.00 р.
УДК
681.518+519.816
РУБ 681
Рубрики: Информационные системы
Кл.слова (ненормированные):
Доказательство теорем автоматическое -- Графы связей -- Модальные логики -- Индукция и обобщение -- Принятия решений


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