|
|
 |
| Результат поиска |
Поиск книг, содержащих: Дерево вывода
| Книга | Страницы для поиска | | Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 302 | | Мендельсон Э. — Введение в математическую логику | 284 | | Лаллеман Ж. — Полугруппы и комбинаторные приложения | 294 | | Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 182 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 42, 53 | | Белоусов А.И., Ткачев С.Б. — Дискретная математика | 587 | | Фейс Р. — Модальная логика | 194 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 271 | | Фу К. — Структурные методы в распознавании образов | 14, 107 | | Гладкий А.В. — Математическая логика | 165, 168, 196, 253 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—780, 1093 | | Гладкий А.В. — Введение в современную логику | 90 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 81 | | Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 19 | | Осуга С. — Обработка знаний | 125 | | Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 266 | | Анисимов А.В. — Рекурсивные преобразователи информации | 150 | | Нивергельт Ю., Фаррар Дж., Рейнголд Э. — Машинный подход к решению математических задач | 19 | | Мендельсон Э. — Введение в математическую логику | 284 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 205 |
|
|
|
|
О проекте