科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
J
Jörg H. Siekmann
Saarland University
20
H指数
107
论文数
2.0K
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Proof planning with multiple strategies
artificial intelligence review
IF
4.6
2008-04-01
4
OA
AI
Mlelis, Erica; Meier, Andreas; Siekmann, Joerg
分享
收藏
AN ORDER-SORTED LOGIC FOR KNOWLEDGE REPRESENTATION SYSTEMS
artificial intelligence review
IF
4.6
1992-06-01
33
PRE
AI
BEIERLE, C; HEDTSTUCK, U; PLETAT, U; SCHMITT, PH; SIEKMANN, J
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
P
Peter H. Schmitt
H 指数: 20 · 论文数: 180
C
Christoph Beierle
H 指数: 18 · 论文数: 331
A
Andreas Meier
H 指数: 17 · 论文数: 181
U
U. Hedtstück
H 指数: 4 · 论文数: 8
H 指数: 0 · 论文数: 137
查看更多