|  |  | 
                
                    | Результат поиска |  
                    | Поиск книг, содержащих: Наиболее общий унификатор (НОУ)
 
 | Книга | Страницы для поиска |  | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 44, 46, 49, 50, 82, 94—97, 109, 111, 112, 127, 160, 162, 163, 171, 175, 208 |  | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 144 |  | Уэно Х., Исидзука М. — Представление и использование знаний | 156 | 
 |  |