AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
郭远华图谱-计算机领域:
相关人员
曾振柄
研究领域
自动推理
重言衍推
相干命题
试探法
自然推理
可读证明
自动证明
证明树
所属机构
华东师范大学软件学院
华东师范大学上海市高可信计算重点实验室
标签云
郭远华图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
郭远华标签云