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