书目详细信息 : 基于GIS的煤矿瓦斯地质信息化数学建模与实现