电脑体验，效果更佳

闫炜图谱-自然科学领域：

相关人员

吴尽昭 高新岩

研究领域

SAT 变量划分 公理系统 流事件结构 格局 合取范式 偏序时序逻辑 符号模拟

所属机构

四川成都 中国科学院成都计算机应用研究所 电子科技大学计算机科学与工程学院

标签云