电脑体验，效果更佳

曲扬图谱-计算机领域：

相关人员

郑波 李雅娟 刘婷 蒋屹新 林闯 尹浩

研究领域

Petri网 线性推理 分组分类 一致性检验 推理 时序逻辑 时间Petri网 模型

所属机构

清华大学计算机科学与技术系

标签云