AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
精化图谱-计算机领域:
研究人员
樊艳芬
唐稚松
郭亮
徐宝文
孙永强
陈鑫
梁洪峻
杨丹
钱俊彦
杨庆红
薛锦云
万剑怡
吴帅
相关术语
语义
抽象解释
规格说明
抽象机
契约
时序逻辑语言XYZE
语义一致性
B方法
证明义务
代理机构
构件
设计模式
面向对象程序
完备性
并行程序开发
抽象模型检验
组合
接口
强保留
标签云
精化图谱-计算机领域:
图谱关系 查看更多
相关术语 查看更多
精化标签云