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