电脑体验，效果更佳

林瀚图谱-计算机领域：

相关人员

苏开乐 杨晋吉 肖茵茵 骆翔宇

研究领域

模型检测 递推公式 可满足性问题 有界模型检测 模态算子

所属机构

华南师范大学计算机学院 北京大学信息科学技术学院 中山大学信息科学与技术学院 桂林电子科技大学计算机与控制学院

标签云