Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных ...

Рассмотрено построение корпоративных систем хранения данных, основные проблемы, решаемые посредством этих систем и современные требования к ним. Описаны пример построения такой системы для Государственного экспортно-импортного ...