Refine your search
Availability
-
Bibliographic level
- Книги (2)
- Статьи из сборников (1)
-
Authors
-
Locations
- Книгохранилище (2)
- Читальный зал 5 (1)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Отдел рукописей и книжных памятников (1)
-
Item types
- Выдается в читальный зал (2)
- 1 неделя (1)
- 6 месяцев (1)
-
Topics
- дизъюнкты (2)
- исчисление предикатов (2)
- математическая логика (2)
- предикаты (2)
- рекурсия (2)
- DATALOG. (1)
- Datalog-уравнения (1)
- SLD-резолюции (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