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

Связанные документы (рекомендация CORE)