|
|
 |
| Результат поиска |
Поиск книг, содержащих: Теорема Эрбрана
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 202, 206, 212—215, 219 | | Верещагин Н.К., Шень А. — Языки и исчисления | 199 | | Клини С. — Математическая логика | 395, 396, 418, 450 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 232 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 40, 12 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 398, 421, 433 | | Лорьер Ж.-Л. — Системы искусственного интеллекта | 161 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 196 | | Клини С.К. — Математическая логика | 395, 396, 418, 450 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 232 |
|
|
|
|
О проекте