Список тем докторских диссертаций по автоматизации функционально-логического проектирования