Study on early warning of gas in coal mine based on extension data mining | IEEE Conference Publication | IEEE Xplore