AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
杨红丽图谱-计算机领域:
相关人员
韩俊刚
郝克刚
王曙燕
研究领域
形式化验证
形式化规格说明
XQuery
XML
XML Schema
面向对象
XPath
形式化方法
所属机构
西安邮电学院计算机系
西北大学计算机科学系
标签云
杨红丽图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
杨红丽标签云