论文数
4
总引用数
47
H-Index
3
关于
暂无简介。
研究焦点
主要成就
3
H 指数
4
论文
47
总引用数
12
篇均引用
🏆 最高被引论文
10th international conference on automated deduction
29 次引用 · 1991
📈 最高产年份: 2008 (3 论文)
🤝 主要合作者: 5
🏛 所属机构: Estonian Academy of Sciences, Tallinn University of Technology
代表论文
- 110th international conference on automated deduction29 次引用 · 1991
- 2
- 3
- 4Software architecture for swarm mobile robots3 次引用 · 2008
主要合作者
尚未生成