欧阳丹彤(1968-),女,博士,教授,博士生导师,CCF高级会员,主要研究领域为自动推理,基于模型的诊断
- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 充值
- 帮助
搜作者
主题
- 欧阳丹彤
- 吉林大学信息科学学部计算机科学与技术学院符号计算与知识工程教育部重点实验室 | 吉林大学理学部数学学院符号计算与知识工程教育部重点实验室 | 中山大学计算机学院(软件学院)计算机软件研究所 ... 更多
- 学者ID：3300850735
60
第一作者发文量
232
发文量
180
核心发文量
686
被引量
12
H指数
19
G指数
对比
关注