Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.01 <Систем. анализ, упр. и обраб. информ.>
Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.01 <Систем. анализ, упр. и обраб. информ.>