书目详细信息 : 数字化地质勘查与矿山开采技术研究