书目详细信息 : 现代采矿理论及技术研究进展