电脑体验，效果更佳

张兴元图谱-计算机领域：

相关人员

蒋慧 王元元 陈希 付兴武 王俐莉

研究领域

IsabelleHOLIsar 模糊控制 自适应加权 命题演算形式系统 数据融合 形式化验证 完备性定理

所属机构

辽宁工程技术大学 解放军理工大学指挥自动化学院 辽宁工程技术大学机械工程学院

标签云