Национальные ресурсы / Отчеты о НИР

Разработка логических исчислений, описывающих поведение информационных систем

Руководитель проекта: Б.С. Байжанов
Исполнители проекта: Вербовский В.В.
Организация: Институт проблем информатики и управления
Инвентарный номер: 0211РК01171
Регистрационный номер: 0109РК00718
Ключевые слова: логика темпоральная, оператор конкатенции, логика предикатов, системы информационные,