Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул : автореф. дис. на соиск. учен. степ. к. т. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>
Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул : автореф. дис. на соиск. учен. степ. к. т. н. : специальность 05.13.11 <Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей>