Refine your search
Availability
-
Bibliographic level
- Книги (7)
-
Authors
- Андон, Филипп Илларионович (1)
- Баркалов, Сергей Алексеевич (1)
- Бочаров, Вячеслав Александрович (1)
- Васюков, Владимир Леонидович (1)
- Грибомон, Паскаль (1)
- Душкин, Александр Викторович (1)
- Зыков С. В. (1)
- Карпенко, Александр Степанович (1)
- Колодяжный, Сергей Александрович (1)
- Новосельцев, Виктор Иванович (1)
- Резниченко, Валерий Анатольевич (1)
- Рубашкин, Валерий Шлемович (1)
- Смирнов, Владимир Александрович (1)
- Сумин, Виктор Иванович (1)
- Тейз, Андре (1)
- Шалак, В. И. (1)
- Юлен, Ги (1)
- Яшунин, Александр Евгеньевич (1)
- Show more
- Show less
-
Locations
- Книгохранилище (5)
- Читальный зал 4 (1)
- Читальный зал. Депозитарий (1)
-
Item types
-
Topics
- логические языки (6)
- представление знаний (3)
- математическая логика (2)
- формальные языки (2)
- DATALOG. (1)
- Datalog-уравнения (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)
- Рекурсивно-логическое и функциональное программирование (1)
- Смирнов, Владимир Александрович (1)
- Твардовский, Казимеж Ежи Адольф (1)
- Теория и технология программирования (1)
- Технические науки и информационные технологии (1)
- Функционально-логические языки программирования (1)
- Функциональное и логическое программирование (1)
- Функциональное программирование (1)
- Функциональное программирование и интеллектуальные ИС (1)
- Функциональное программирование и интеллектуальные информационные системы (1)
- Show more
- Show less
-
Places
- ЭБС Юрайт (1)