电脑体验，效果更佳

陈清亮图谱-自然科学领域：

相关人员

朱可宜 苏开乐 吕关锋 岳伟亚 林瀚 骆翔宇

研究领域

BDD 连通度 时态逻辑 符号化算法 认知逻辑 模型检测 最短路径

所属机构

广东广州 中山大学计算机科学系 暨南大学计算机科学系

标签云