书目详细信息 : 科学技术百科全书(第二十七卷):矿冶工程学