电脑体验，效果更佳

时态逻辑图谱-机械领域：

研究人员

古天龙 韩俊刚 杨晓丽 唐达 徐超 张勐

相关术语

规划领域定义语言 装配序列规划 高阶逻辑 硬件设计 模型 工作流 模型检验 形式验证

标签云