|
![blank](/z.gif) |
Результат поиска |
Поиск книг, содержащих: Предикатный символ
Книга | Страницы для поиска | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 463 | Верещагин Н.К., Шень А. — Языки и исчисления | 90 | Клини С. — Математическая логика | 245 | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 28 | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 154 | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 237, 313, 323 | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 122 | Девятков В.В. — Системы искусственного интеллекта | 55 | Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 379 | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—577 | Гладкий А.В. — Введение в современную логику | 72 | Ковальски Р. — Логика в решении проблем | 21 | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 89 | Клини С.К. — Математическая логика | 245 |
|
|