Refine your search
Availability
-
Bibliographic level
- Книги (5)
-
Authors
-
Locations
-
Item types
- Выдается в читальный зал (3)
- 1 месяц (3)
- 6 месяцев (1)
- Выдается по месту хранения (1)
-
Topics
- языки логического программирования (5)
- логическое программирование (3)
- учебные издания для вузов (3)
- CLIPS, инструментальная оболочка разработки искусственного интеллекта (2)
- Protege, редактор онтологий и фреймворк для построения баз знаний (2)
- КАРРА, экспертная оболочка моделирования искусственного интеллекта (2)
- Пролог, язык логического программирования (2)
- Пролог-программы (2)
- ЭВМ. (2)
- базы данных искусственного интеллекта (2)
- базы знаний интеллектуальных систем, создание (2)
- базы знаний онтологические (2)
- интеллектуальные технологии обработки информации (2)
- классификационные схемы таксономические (2)
- нейронные сети (2)
- персональные компьютеры (2)
- представление знаний (искусственный интеллект), инструментальные средства (2)
- представление знаний (искусственный интеллект), модели (2)
- программирование логическое (2)
- системы искусственного интеллекта (2)
- системы искусственного интеллекта, проектирование (2)
- формализация знаний (2)
- экспертные системы (2)
- экспертные системы на языке Пролог (2)
- экспертные системы принятия решений (2)
- языки искусственного интеллекта (2)
- языки программирования (искусственный интеллект), диалекты (2)
- EURICA (1)
- Haskell (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