Поиск по ключевому слову "модальная логика"

---

Разработка процессов синхронизации моделей и принципов проверки их корректности

Опубликовано: 19.11.2013

Авторы: Девятков В.В., Ошкало Д.В.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1052

Раздел: Информационные технологии

Недетерминированное проектирование интеллектуальных мультимодальных интерфейсов

Опубликовано: 03.11.2012

Авторы: Алфимцев А.Н., Девятков В.В.

Опубликовано в выпуске: #3(3)/2012

DOI: 10.18698/2308-6033-2012-3-118

Раздел: Информационные технологии

1