书目详细信息 : 国内外煤矿深部开采岩层控制技术