Dictionary entry

Mining (2)

Webster's Dictionary 1913

Min″ing, a. Of or pertaining to mines; as, mining engineer; mining machinery; a mining region.

Mining engineering. See the Note under Engineering.