书目详细信息 : GrObner基理论及其应用