电脑体验，效果更佳

逻辑验证图谱-自然科学领域：

研究人员

张维勇 薛宏熙 肖冰冰 王路路 柳西玲 毕翔 赵致格 洪先龙

相关术语

逻辑设计 规则化描述方法 计算机辅助设计 基于规则的系统 皮带运输控制系统 逻辑模拟

标签云