Introductory Mining Engineering. 2 nd ed. Hartman, Mutmansky. Mine: an excavation made in the earth to extract minerals Mining: the activity, occupation, and industry concerned with the extraction of minerals Mining engineering: the practice of applying engineering principles to the development, planning, operation, closure, and …