吉林大学计算机科学与技术学院,长春,130012;
符号计算与知识工程教育部重点实验室,长春,130012;
吉林大学计算机科学与技术学院,长春,130012;
符号计算与知识工程教育部重点实验室,长春,130012;
吉林大学计算机科学与技术学院,长春,130012;
符号计算与知识工程教育部重点实验室,长春,130012;
长春工业大学计算机科学与工程学院,长春,130012;
吉林大学计算机科学与技术学院,长春,130012;
符号计算与知识工程教育部重点实验室,长春,130012;