о дате и месте защиты диссертации Б.М. Штильмана "Разработка метода иерархии формальных грамматик и его применение в планировании ремонтов энергооборудования".