Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

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


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

Опубликовано: 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

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