Refine your search
Availability
-
Bibliographic level
- Книги (64)
- Статьи из сборников (1)
- Сериальные издания (1)
-
Authors
- Барский, Аркадий Бенционович (3)
- Пак, Николай Инсебович (3)
- Хеннер, Евгений Карлович (3)
- Алексеев, Владимир Евгеньевич (2)
- Андреева, Валентина Валерьевна (2)
- Барский, А. Б. (2)
- Грибомон, Паскаль (2)
- Гринченков, Дмитрий Валерьевич (2)
- Гуц, Александр Константинович (2)
- Игошин, Владимир Иванович (2)
- Лисовский, Кирилл Юльевич (2)
- Марков, Александр Сергеевич (2)
- Могилев, Александр Владимирович (2)
- Орлов, Сергей Александрович (2)
- Потоцкий, Сергей Иванович (2)
- Смирнов, В. А. (2)
- Таланов, Владимир Александрович (2)
- Тейз, Андре (2)
- Dawe, C. M. (1)
- Dawe, M. S. (1)
- Dzeroski, Saso (1)
- Lavrač, Nada (1)
- Ramakrishnan, I. V. (1)
- Schoening, Uwe (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
- Книгохранилище (39)
- Читальный зал 5 (14)
- Абонемент. Депозитарий (13)
- Абонемент (7)
- Читальный зал. Депозитарий (7)
- Читальный зал 4 (1)
- Отдел рукописей и книжных памятников (1)
- Библиотека РФФ (1)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (36)
- 1 месяц (20)
- 6 месяцев (17)
- 1 неделя (9)
- Выдается по месту хранения (7)
-
Topics
- логическое программирование (55)
- искусственный интеллект (16)
- учебные пособия для вузов (15)
- математическая логика (13)
- базы данных (10)
- Пролог (9)
- логика предикатов (9)
- алгоритмы (8)
- логика высказываний (8)
- Пролог, язык логического программирования (7)
- языки программирования (7)
- объектно-ориентированное программирование (6)
- Программирование (5)
- Технические науки и информационные технологии (5)
- Тьюринга машины (5)
- Prolog, язык логического программирования декларативный (4)
- алгоритмические проблемы неразрешимые (4)
- информация (4)
- исчисление высказываний (4)
- исчисление предикатов (4)
- программирование (4)
- структуры данных (4)
- SQL. (3)
- ЭВМ. (3)
- вычислительная техника (3)
- параллельное программирование (3)
- реляционные базы данных (3)
- функциональное программирование (3)
- HTML, язык гипертекстовой разметки (2)
- XML. (2)
- Алгоритмы нейросетевой обработки данных (2)
- Армстронга аксиомы (2)
- Васильев, Николай Александрович (2)
- Васильева логика (2)
- Введение в программирование (2)
- Введение в системы искусственного интеллекта (2)
- Введение в функциональное и логическое программирование (2)
- Введение в функциональный анализ (2)
- Вригт, Георг фон (2)
- Геделя теорема о существовании модели (2)
- Графов теория (мат.) (2)
- Дейталог/Пролог (2)
- Интеллектуальные информационные системы (2)
- Интеллектуальные информационные системы и методы искусственного интеллекта (2)
- Интеллектуальные информационные системы и методы искусственного интеллекта в экономике (2)
- Интеллектуальные системы (2)
- Интеллектуальный анализ данных (2)
- Информатика и основы программирования (2)
- Информатика и программирование (2)
- Информационные интеллектуальные системы (2)
- Show more
- Show less
-
Places