电脑体验，效果更佳

何锫图谱-计算机领域：

相关人员

黄道昌 陶荣 马恋 肖增良 康立山 唐稚松

研究领域

Hoare逻辑 程序验证 并行验证 证明策略 并行调度 推理规则 依赖集 引理 依赖分析 语法分析树 数据压缩 时序逻辑 神经网络 依赖图 有效性问题 BP算法 自然推理系统

所属机构

长沙交通学院 中国科学院软件所

标签云