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