Textmeddelande: Формализованное описание и реализация методов оптимизации процесса уборки горной массы; Проблемы геологии и освоения недр