AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
侯建民图谱-计算机领域:
相关人员
郑国梁
焦锋
徐殿祥
樊晓聪
陈冠岭
郑滔
王丽平
李宣东
研究领域
计算过程
混合系统
参数
软件体系结构
形式验证
BDI模型
继承
软件复杂性
离散时段演算
构件
节点
线性混合自动机
形式规约
线性混成系统
模型验证
微分方程
规约
规划
定理证明
度量模型
软件Agent
时间自动机
形式方法
复制行为
实时系统
商
所属机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学与技术系
南京大学计算机科学系
邯郸职业技术学院信息工程系
河北工程大学计算中心
北京科技大学信息工程学院
标签云
侯建民图谱-计算机领域:
图谱关系 查看更多
相关人员 查看更多
侯建民标签云