书目详细信息 : 生产矿井测量