
基于钻孔和截割的新型硬岩快速掘进工艺探讨
A New Technique for Rapid Advancement in Hard Rock Mining Based on the Combination of Drilling and Cutting
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 |
|
〉 |