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

Torben Braüner

roskilde university

16H指数
135论文数
864被引数
收录论文 2
发表时间
logo
A Tableau System for First-Order Logic with Standard Names一阶逻辑标准名称的表格系统
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errClassen, Jens; Brauner, Torben
err分享
err收藏
Second-Order False Beliefs and Linguistic Recursion in Autism Spectrum Disorder
errJOURNAL OF AUTISM AND DEVELOPMENTAL DISORDERS
IF2.8
err2021-09-15
err8
errOAAI
errPolyanskaya, Irina; Eigsti, Inge-Marie; Brauner, Torben; Blackburn, Patrick
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
I
Inge‐Marie Eigsti
H 指数: 44 · 论文数: 295
P
Patrick Blackburn
H 指数: 30 · 论文数: 194
J
Jens Claßen
H 指数: 11 · 论文数: 35
I
Irina Polyanskaya
H 指数: 7 · 论文数: 45
已加载全部