电脑体验，效果更佳

赖贤伟图谱-自然科学领域：

相关人员

胡山立 王秀丽 宁正元

研究领域

模型检测 知识 交互时态逻辑 并发博弈结构 信念

所属机构

福州大学计算机科学与技术系 福建农林大学计算机科学与技术系 中国科学院计算机科学重点实验室

标签云