AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
形式化图谱-计算机领域:
研究人员
袁晓东
曹军海
冷家锋
王新兵
袁兆山
张然
缪淮扣
谢锋
杨晓艳
卢再奇
李朝芹
张常有
曹步文
张仲义
刘进营
孙电
陈小平
沙基昌
刘霞
张铮
曹健
张力军
赵晓峰
来淼
邵全琴
沈晴霓
韦向峰
康琦
戴金海
王学军
相关术语
Isabelle工具
验证
常识推理
QoS路由
Web服务组合
面向对象
安全操作系统
决策树
预警行为
类结构
算法化
非单调逻辑
开发方法
快速傅里叶变换处理机
UML
扩充
规格说明书
产生式
脚本语言
组件和组件交互
模型
相关性
程序设计方法
形式生成
计算机科学
循环不变式
支持工具
算法
思维方法
功能需求
标签云
形式化图谱-计算机领域:
图谱关系 查看更多
相关术语 查看更多
形式化标签云