AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
袁崇义图谱-计算机领域:
相关人员
高昕
杨萍
张世琨
黄舒志
黄雨
赵文
刘刚
王立福
研究领域
PT系统
公理语义
Petri网
程序规范
Petri网模型
并发性
操作公理
NETS
所属机构
甘肃兰州
武汉大学计算机学院
北京大学计算机科学技术系
北京大学信息科学技术学院
清华大学计算机科学与技术系
兰州大学信息科学与工程学院
第二炮兵工程学院计算机科学系
新加坡国立大学计算学院计算机科学系
标签云
袁崇义图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
袁崇义标签云