|
|
 |
| Результат поиска |
Поиск книг, содержащих: Антецедент
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 454 | | Клини С. — Математическая логика | 343, 355 | | Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 28, 48 | | Никольская И.Л. — Математическая логика | 15 | | Такеути Г. — Теория доказательств | 15, 215 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 22 | | Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 32 | | Гладкий А.В. — Математическая логика | 194 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV-1104, 1105 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 19 | | Уэно Х., Исидзука М. — Представление и использование знаний | 48 | | Осуга С. — Обработка знаний | 136 | | Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 13, 142 | | Вирт Н. — Систематическое программирование. Введение | 31 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 19 | | Шампандар А.Дж. — Искусственный интеллект в компьютерных играх: как обучить виртуальные персонажи реагировать на внешние воздействия | 173, 462 | | Калбертсон Дж.Т. — Математика и логика цифровых устройств | 118 | | Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 60, 438 | | Себеста Р.У. — Основные концепции языков программирования | 619 | | Бочаров В.А., Маркин В.И. — Основы логики | 46 | | Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения | 91 | | Калужин Л.А. — Введение в общую алгебру | 66 | | Хаггарти Р. — Дискретная математика для программистов | 172 | | Клини С.К. — Математическая логика | 343, 355 | | Вирт Н. — Систематическое программирование | 31 | | Хаггарти Р. — Дискретная математика для программистов | 172 |
|
|
|
|
О проекте