书目详细信息 : 数字矿山建设理论与实践