电脑体验，效果更佳

杨宗源图谱-自然科学领域：

相关人员

徐倩颖 谢瑾奎 刘川博 李晶

研究领域

方面桥模式 命题逻辑 定理证明 软件重构 上下文无关文法 元数据 吴方法 逻辑推论

所属机构

华东师范大学计算机系 华东师范大学计算机科学技术系

标签云