arrow
返回
J

Jörg H. Siekmann

Saarland University

20H指数
107论文数
2.0K被引数
收录论文 2
发表时间
Proof planning with multiple strategies
err2008-04-01
err4
errOAAI
errMlelis, Erica; Meier, Andreas; Siekmann, Joerg
err分享
err收藏
AN ORDER-SORTED LOGIC FOR KNOWLEDGE REPRESENTATION SYSTEMS
err1992-06-01
err33
PREAI
errBEIERLE, C; HEDTSTUCK, U; PLETAT, U; SCHMITT, PH; SIEKMANN, J
err分享
err收藏