AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
朱关铭图谱-计算机领域:
相关人员
李迎豪
苗巍山
童頫
缪淮扣
张晓莺
甘小平
吴杰
李刚
研究领域
谓词
形式规格说明语言
设计与实现
软件工程
可一致化
面向对象方法
基本项
定理证明
所属机构
上海科技大学
上海大学计算机科学系
标签云
朱关铭图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
朱关铭标签云