"矿山测量学" can be translated into English as "Mine Surveying" or "Mining Surveying".
Both translations are commonly used, with "Mine Surveying" perhaps being slightly more prevalent in some contexts. Either one accurately conveys the meaning of the specialized field concerned with the measurement and mapping of mines and mining-related activities.