书目详细信息 : 工业数据分析工程:基于CRISP-DM的形式化方法