数字矿山的关键技术
陈广仁
. 2011, (35): 80 -80 .