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