Englishfor English speakers
mining
—
noun
the act of extracting ores or coal etc from the earth
—
noun
laying explosive mines in concealed places to destroy enemy personnel and equipment
robotics
—
noun
the area of AI concerned with the practical use of robots