电脑体验，效果更佳

规则化描述方法图谱-自然科学领域：

研究人员

肖冰冰 张维勇 毕翔

相关术语

逻辑验证 基于规则的系统 皮带运输控制系统

标签云