Data Mining of Coal Mining Gas Time Series and Knowledge Discovery | IEEE Conference Publication | IEEE Xplore