书目详细信息 : 废弃矿井地下空间开发利用战略与工程实践