|
|
 |
| Результат поиска |
Поиск книг, содержащих: Выполнимая формула
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 58, 159 | | Мендельсон Э. — Введение в математическую логику | 62 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 858, 859 | | Клини С. — Математическая логика | 381 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 33, 277 | | Гильберт Д., Аккерман В. — Основы теоретической логики | 146, 166 | | Девятков В.В. — Системы искусственного интеллекта | 29 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 57, 157 | | Клини С.К. — Математическая логика | 381 | | Мендельсон Э. — Введение в математическую логику | 62 |
|
|
|
|
О проекте