Информационные технологии в горном деле: лабораторный практикум для студентов направления подготовки 21.05.04 «Горное дело», специализация «Шахтное и подземное строительство»