电脑体验，效果更佳

陈庆锋图谱-自然科学领域：

相关人员

张成奇 李春生 欧阳丹彤 程晓春 钟绍春

研究领域

抽象 公理系统 约束 自然演绎 算子逻辑

所属机构

吉林长春 悉尼NSW2007 东北师范大学软件学院 悉尼科技大学信息技术学院 吉林大学符号计算与知识工程实验室 吉林长春130024吉林大学符号计算与知...

标签云