Alan Bundy
论文数
4
总引用数
30
H-Index
3
关于
暂无简介。
研究焦点
Computer science4 · 30 次引用
Artificial intelligence3 · 24 次引用
Task (project management)2 · 21 次引用
Human–computer interaction2 · 19 次引用
Process (computing)2 · 19 次引用
Programming language2 · 19 次引用
Automated reasoning1 · 16 次引用
Analytic reasoning1 · 16 次引用
Inference1 · 16 次引用
Deductive reasoning1 · 16 次引用
Domain (mathematical analysis)1 · 16 次引用
Automation1 · 16 次引用
主要成就
3
H 指数
4
论文
30
总引用数
8
篇均引用
🏆 最高被引论文
The interaction of representation and reasoning
16 次引用 · 2013
📈 最高产年份: 2013 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: University of Edinburgh
代表论文
- 1The interaction of representation and reasoning16 次引用 · 2013
- 2Numerically-Controlled Machine Tools6 次引用 · 1984
- 3A subsumption architecture for theorem proving?5 次引用 · 1994
- 4
主要合作者
尚未生成