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