电脑体验，效果更佳

隋立颖图谱-计算机领域：

相关人员

白硕 付岩 陈庆锋 王驹 张师超 庄超

研究领域

可追踪性 防抵赖 动态逻辑 信息安全 注册 协议验证 可追踪 非单调逻辑

所属机构

中国科学院软件研究所 国家智能计算机研究开发中心 广西师范大学数学与计算机科学系 广西师范大学数学与计算机科学学院 桂林541005中国科学院软件研究所 广西师范大学数学与计算机科学学院桂林

标签云