Refine your search
Availability
-
Bibliographic level
- Книги (23)
- (1)
-
Authors
- Гаврилова, Татьяна Альбертовна (2)
- Гришин, Анатолий Михайлович (2)
- Игошин, Владимир Иванович (2)
- Могилев, Александр Владимирович (2)
- Пак, Николай Инсебович (2)
- Трофимов, Владимир Борисович (2)
- Хеннер, Евгений Карлович (2)
- Балашова, Светлана Алексеевна (1)
- Белозерова, Юлия Михайловна (1)
- Болбаков, Роман Геннадьевич (1)
- Бородько, В. П. (1)
- Бураков, Михаил Владимирович (1)
- Глухих, Игорь Николаевич (1)
- Гонсалес, Рафаэл С. (1)
- Градецкий, Валерий Георгиевич (1)
- Данчул, Александр Николаевич (1)
- Дихтяр, Василий Иванович (1)
- Дэвенпорт, Томас Х. (1)
- Еременко, Юрий Иванович (1)
- Ермолаев-Томин, Олег Юрьевич (1)
- Жилкин, Олег Николаевич (1)
- Кашевкин, Александр Александрович (1)
- Кликушин, Юрий Николаевич (1)
- Кошеков, Кайрат Темирбаевич (1)
- Кудрявцев, Дмитрий Вячеславович (1)
- Кулаков, Станислав Матвеевич (1)
- Ли, К. (1)
- Ли, Кай-Фу (1)
- Лялин, Владислав (1)
- Матчин, Василий Тимофеевич (1)
- Матюшок, Владимир Михайлович (1)
- Мишра, Прадипта (1)
- Мовчан, Дмитрий Алексеевич (1)
- Муромцев, Дмитрий Ильич (1)
- Острейковский, Владислав Алексеевич (1)
- Савостин, Алексей Александрович (1)
- Сафонова, Т. Е. (1)
- Сидоркина, Ирина Геннадьевна (1)
- Сорокин, А. А. (1)
- Темкин, Игорь Олегович (1)
- Фу, Кинсан (1)
- Хорошевский, В. Ф. (1)
- Show more
- Show less
-
Locations
- Читальный зал 5 [x]
- Книгохранилище (7)
- Абонемент (4)
- Абонемент. Депозитарий (3)
- Отдел рукописей и книжных памятников (2)
- Читальный зал 3 (1)
- Читальный зал. Депозитарий (1)
- Show more
- Show less
-
Item types
- Выдается по месту хранения (17)
- 1 неделя (8)
- Выдается в читальный зал (7)
- 6 месяцев (6)
- 1 месяц (3)
-
Topics
- экспертные системы [x]
- искусственный интеллект (15)
- учебные пособия для вузов (8)
- представление знаний (искусственный интеллект) (5)
- информатика (4)
- представление знаний (4)
- Интернет (3)
- Пролог, язык логического программирования (3)
- алгоритмы (3)
- базы данных (3)
- компьютерное моделирование (3)
- компьютерные сети (3)
- нейронные сети искусственные (3)
- 21 век (2)
- Excel, электронные таблицы (2)
- Word, текстовый редактор (2)
- Геделя теорема о существовании модели (2)
- Маркова нормальные алгоритмы (2)
- Поста теорема о полноте системы булевых функций (2)
- Россия (2)
- Тьюринга машины (2)
- автоматизированные информационные системы (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматическая теория высказываний (2)
- аксиоматические теории (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- аксиоматический метод в математике (2)
- алгебра высказываний (2)
- алгебра множеств (2)
- алгоритмические проблемы неразрешимые (2)
- архитектура микропроцессоров (2)
- атомная промышленность (2)
- базы знаний (2)
- банки информации (2)
- безопасность жизнедеятельности (2)
- бинарные отношения (2)
- булевы функции (2)
- булевы функции и релейно-контактные схемы (2)
- булевы функции от n аргументов (2)
- булевы функции от двух аргументов (2)
- булевы функции от одного аргумента (2)
- верификация программ (2)
- вычислительная техника (2)
- генетические алгоритмы (2)
- геоинформационные системы (2)
- дедуктивные умозаключения (2)
- диагностика заболеваний (2)
- дизъюнкция (2)
- задачи теории релейно-контактных схем (2)
- Show more
- Show less