carbide miner
carbide miner
[′kär‚bīd ‚mī·nər] (mining engineering)
An automated coal mining machine; the unit is a continuous miner controlled from outside the coal seam.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.