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

Predrag Janičić

university of belgrade

16H指数
81论文数
844被引数
收录论文 3
发表时间
logo
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols函数符号下相干逻辑的定理证明作为约束求解
errJournal of Automated Reasoning
IF0.8
err2025-10-16
err0
PREAI
errJanicic, Predrag
err分享
err收藏
Simple algorithm portfolio for SAT
errARTIFICIAL INTELLIGENCE REVIEW
IF13.9
err2011-12-21
err16
errOAAI
errNikolic, Mladen; Maric, Filip; Janicic, Predrag
err分享
err收藏
n-Gram-based classification and unsupervised hierarchical clustering of genome sequences
errCOMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
IF4.8
err2006-02-01
err73
PREAI
errTomovic, A; Janicic, P; Keselj, V
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Andrija Tomović
H 指数: 9 · 论文数: 18
K
Keselj, V
H 指数: 0 · 论文数: 1
M
Maric, Filip
H 指数: 0 · 论文数: 1
N
Nikolic, Mladen
H 指数: 0 · 论文数: 7
已加载全部