| 
Поиск по ключевому слову "язык логического программирования Visual Prolog"
Верификация свойств интеллектуальных интерфейсов в логике тайлов
| Авторы: Девятков В.В. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: свойства интеллектуальных интерфейсов, логика тайлов, модальная логика, верификация свойств, интеллектуальные агенты, язык логического программирования Visual Prolog | |