|
|
 |
| Результат поиска |
Поиск книг, содержащих: Исчисление предикатов первого порядка
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 66 | | Новиков Ф.А. — Дискретная математика для программистов | 119, 121 | | Смолин Д.В. — Введение в искусственный интеллект: конспект лекций | 63 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 255, 259—261, 276, 519, 525 | | Такеути Г. — Теория доказательств | 11 | | Хант Э. — Искусственный интеллект | 61 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 109 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 214 | | Бочаров В.А., Маркин В.И. — Основы логики | 145, 160 | | Башмаков А.И., Башмаков И.А. — Интеллектуальные информационные технологии | 148, 159, 181 | | Мендельсон Э. — Введение в математическую логику | 66 |
|
|
|
|
О проекте