书目详细信息 : 冲击地压矿井微地震监测试验与治理技术研究