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

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=вывод на графе дизъюнктов<.>)
Общее количество найденных документов : 1
1.
   32.81
   Д70

   
    Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : учеб. пособие: Рек. Мин. обр. РФ / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина. - М. : Физматлит, 2004. - 704 с. : рис., табл. - Предм. указ.: с.663 . - ISBN 5-9221-0474-8 (в пер.) : 272.58 р.
ББК 32.813я73
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
автоматическое доказательство теорем -- графа связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- интеллектуальные система -- модальные логики -- индукция


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