Cooperative education of professional knowledge and computer skills for college students in mining engineering | IEEE Conference Publication | IEEE Xplore