电脑体验，效果更佳

石生利图谱-计算机领域：

相关人员

刘叙华

研究领域

算子格 动态逻辑 模糊量词 程序正确性 形式化 动态代数

所属机构

吉林大学计算机科学系

标签云