书目详细信息 : 基于集合论的煤矿床三维建模与算法研究