MARC

LEADER 00000nam0a2200000 4500
001 67544
005 20231031073630.0
010 |a 5922104748 
035 |a (RuTPU)RU\TPU\book\71912 
090 |a 67544 
100 |a 20040916d2004 k y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a a z 001zy 
200 1 |a Достоверный и правдоподобный вывод в интеллектуальных системах  |f В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина 
210 |a Москва  |c Физматлит  |d 2004 
215 |a 704 с.  |c ил. 
320 |a Предметный указатель: с. 663-699 
610 1 |a интеллектуальные системы 
610 1 |a выводы 
610 1 |a достоверность 
610 1 |a правдоподобность 
610 1 |a теоремы 
610 1 |a автоматическое доказательство 
610 1 |a графы 
610 1 |a аналитические таблицы 
610 1 |a иерархические структуры 
610 1 |a аргументация 
610 1 |a абдукция 
610 1 |a модальная логика 
610 1 |a логическое программирование 
610 1 |a индукция 
610 1 |a обобщения 
610 1 |a обучение 
610 1 |a системы 
610 1 |a решения 
610 1 |a принятие 
675 |a 519.81  |v 3 
701 1 |a Вагин  |b В. Н.  |g Вадим Николаевич 
701 1 |a Головина  |b Е. Ю.  |g Елена Юрьевна 
701 1 |a Загорянская  |b А. А.  |g Анастасия Анатольевна 
701 1 |a Фомина  |b М. В.  |g Марина Владимировна 
801 1 |a RU  |b 63413507  |c 20040916  |g PSBO 
801 2 |a RU  |b 63413507  |c 20120604  |g PSBO 
900 |a Системы интеллектуального управления 
942 |c BK