Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
- Абонемент. Депозитарий (1)
- Библиотека РФФ (1)
- Книгохранилище (1)
-
Item types
- 1 месяц (1)
- 6 месяцев (2)
- Выдается в читальный зал (1)
-
Topics
- Дойла немонотонные логики (1)
- Мак-Дермотта немотонные логики (1)
- Мура автоэпистемические логики (1)
- Пролог (2)
- Рейтера логики умолчания (1)
- Хемминга метрика (1)
- Хомского иерархия (1)
- абдуктивный вывод (1)
- аксиоматические системы (1)
- алгоритм распознавания объектов (1)
- алгоритмы (1)
- вывод на иерархических структурах (1)
- грамматики формальные (1)
- граф дизъюнктов (1)
- граф связей (1)
- графовые структуры (1)
- данные и знания (1)
- исчисление предикатов (2)
- логики умолчаний (2)
- логическое программирование (2)
- Show more
- Show less