AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
岳伟亚图谱-计算机领域:
相关人员
陈清亮
ZHENG Xi-Zhong
徐艳艳
杨晋吉
苏开乐
肖茵茵
吕关锋
研究领域
知识推理
秘密性
增量搜索
SPV
SET证书申请协议
可满足性问题
自动化验证
BDD(binary decision diagram)
所属机构
江苏大学计算机系镇江
暨南大学计算机科学系
北京工业大学计算机学院
勃兰登堡州理工大学计算机科学系
中国科学院研究生院信息科学工程学院
广州510275华南师范大学计算机学院
勃兰登堡州理工大学计算机科学系科特布斯0...
中山大学信息科学与技术学院广东省信息安全...
标签云
岳伟亚图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
岳伟亚标签云