|
|
 |
| Результат поиска |
Поиск книг, содержащих: Экстенсионал
| Книга | Страницы для поиска | | Клини С. — Математическая логика | 166 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 217, 218 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 129, 385 | | Девятков В.В. — Системы искусственного интеллекта | 231 | | Энгелер Э. — Метаматематика элементарной математики | 14, 92 | | Кибрик А.Е. (ред.), Ершов А.П. (ред.) — Моделирование языковой деятельности в интеллектуальных системах | 67, 71, 114—116, 129 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 25, 29, 491 | | Шаталкин А.И. — Биологическая систематика | 153—154 | | Клини С.К. — Математическая логика | 166 |
|
|
|
|
О проекте