"矿山测量学" can be translated into English as "Mine Surveying" or "Mining Surveying".
Both terms are commonly used to refer to the discipline that deals with the measurement and mapping of mining operations, including the layout of mines, the determination of ore reserves, and the monitoring of mining activities. "Mine Surveying" is perhaps slightly more prevalent in general usage, while "Mining Surveying" emphasizes the connection to the mining industry more directly.