电脑体验，效果更佳

等价性检验图谱-机械领域：

研究人员

李晓维 高德远 胡靖 韩俊刚 刘建元 邵明 李光辉 杜慧敏

相关术语

二叉决策图 Grbner基 符号模型检验 比较点匹配 模拟 形式验证 vanishing多项式 分支时态逻辑

标签云