科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
G
Gregor Behnke
university of amsterdam
19
H指数
85
论文数
975
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
AxSAT - Bringing Axioms to SAT Planning
AxSAT - 将公理引入SAT规划
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF
0
2026-01-01
0
PRE
AI
Behnke, Gregor; Speck, David; Gnad, Daniel
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
D
David Speck
H 指数: 19 · 论文数: 123
D
Daniel Gnad
H 指数: 7 · 论文数: 43
已加载全部