Refine your search
Availability
-
bib-level
- m (6)
-
Authors
- Алешина, Наталия Альбертовна (1)
- Анисов, Александр Михайлович (1)
- Быстров, Петр Иванович (1)
- Гаврилов, Гарий Петрович (1)
- Грибомон, Паскаль (1)
- Куссуль, Наталья Николаевна (1)
- Луи, Ж. (1)
- Люгер, Джордж Ф. (1)
- Осипов, Геннадий Семенович (2)
- Смирнова, Елена Дмитриевна (1)
- Тейз, Андре (1)
- Финн, Виктор Константинович (1)
- Show more
- Show less
-
Locations
- Абонемент. Депозитарий (1)
- Книгохранилище (3)
- Читальный зал 5 (1)
-
Item types
-
Topics
- CHAR, графический редактор химических структур (1)
- STRIPS-планирование (1)
- ВИНИТИ (1)
- ДСМ, интеллектуальная система (1)
- ДСМ-метод автоматизированного построения формализации знаний о предметной области средствами квазиаксиоматических теорий (КАТ) (1)
- Искусственный интеллект (1)
- Лисп, язык функционального программирования (1)
- Пролог (1)
- Пролог, язык логического программирования (1)
- СУБД информационных систем, основанных на знаниях (1)
- Хомского иерархия (1)
- аксиоматические системы (1)
- анализ текста (искусственный интеллект) реляционно-ситуационный (2)
- базы знаний (1)
- искусственный интеллект (3)
- исчисление предикатов (2)
- математическая логика (2)
- машинное обучение (искусственный интеллект) (2)
- представление знаний (искусственный интеллект) (4)
- рассуждения (искусственный интеллект) правдоподобные (3)
- Show more
- Show less