|
|
 |
| Результат поиска |
Поиск книг, содержащих: Атомарная формула
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 42 | | Верещагин Н.К., Шень А. — Языки и исчисления | 91 | | Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 34 | | Малпас Дж. — Реляционный язык Пролог и его применение | 37—38 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 199 | | Фейс Р. — Модальная логика | 40 | | Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 49 | | Линдон Р. — Заметки по логике | 24, 35 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III-416, 417; IV-578; V-641 | | Эндрю А. — Искусственный интеллект | 66, 80 | | Ковальски Р. — Логика в решении проблем | 19 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 172 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 90 | | Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 116 | | Альбеверио С. — Нестандартные методы в стохастическом анализе и математической физике | 20 |
|
|
|
|
О проекте