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

Boris Konev

University of Liverpool

19H指数
107论文数
1.3K被引数
收录论文 2
发表时间
logo
Computer-aided proof of Erdos discrepancy properties
errartificial intelligence review
IF4.6
err2015-07-01
err27
errOAAI
errKonev, Boris; Lisitsa, Alexei
err分享
err收藏
Model-theoretic inseparability and modularity of description logic ontologies
errartificial intelligence review
IF4.6
err2013-10-01
err61
errOAAI
errKonev, Boris; Lutz, Carsten; Walther, Dirk; Wolter, Frank
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
F
Frank Wolter
H 指数: 56 · 论文数: 390
C
Carsten Lutz
H 指数: 49 · 论文数: 303
A
Alexei Lisitsa
H 指数: 16 · 论文数: 214
D
Dirk Walther
H 指数: 16 · 论文数: 66
已加载全部