吉林大学,计算机科学与技术学院,吉林,长春,130012;
吉林大学,符号计算与知识工程教育部重点实验室,吉林,长春,130012;
吉林大学,计算机科学与技术学院,吉林,长春,130012;
吉林大学,符号计算与知识工程教育部重点实验室,吉林,长春,130012;
吉林大学,计算机科学与技术学院,吉林,长春,130012;
吉林大学,符号计算与知识工程教育部重点实验室,吉林,长春,130012;
吉林大学,计算机科学与技术学院,吉林,长春,130012;
吉林大学,符号计算与知识工程教育部重点实验室,吉林,长春,130012;
中国海洋大学,数学系,山东,青岛,266071;