书目详细信息 : 数学计算机设计自动化的理论和方法