Сообщается дата и место защиты докторской диссертации О.П. Кузнецова "Основы теории языков логического управления и исследование принципов их эффективной реализации".