logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Christoph Benzmüller

otto friedrich university bamberg

26H指数
331论文数
2.6K被引数
收录论文 2
发表时间
logo
Dependently Typed Higher-Order Logic依赖类型的高阶逻辑
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
err分享
err收藏
Designing normative theories for ethical and legal reasoning: LOGIKEY framework, methodology, and tool support
errartificial intelligence review
IF4.6
err2020-10-01
err26
errOAAI
errBenzmuller, Christoph; Parent, Xavier; van der Torre, Leendert
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Leendert van der Torre
H 指数: 45 · 论文数: 574
F
Florian Rabe
H 指数: 17 · 论文数: 124
X
Xavier Parent
H 指数: 11 · 论文数: 77
C
Colin Rothgang
H 指数: 3 · 论文数: 6
已加载全部