经过实验室学术委员会评审， 如下课题获批， 具体名单如下：
上一篇： 2020年度符号计算与知识工程教育部重点实验室开放课题和自主课题（第二批）申请通知
下一篇： 促进重大项目成果应用验证，加强重大项目间学术交流 ——访问中国科学院戴永久院士
