| 
Поиск по ключевому слову "язык логического программирования Пролог"
Верификация знаний, полученных при изучении моделей бизнес-процессов
| Авторы: Девятков В.В., Кадырбаева А.Р. | Опубликовано: 20.12.2020 |
| Опубликовано в выпуске: #4(133)/2020 | |
| DOI: 10.18698/0236-3933-2020-4-99-113 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация знаний, тестовые задания, модальная логика, язык логического программирования Пролог | |