科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
A
Alexander Baumgartner
Universidad de O'Higgins
0
H指数
2
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Equational Generalization Problems with Atom-Variables
含原子变量的等式泛化问题
INTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF
0
2026-01-01
0
PRE
AI
Baumgartner, Alexander; Kutsia, Temur; Nantes-Sobrinho, Daniele; Schmidt-Schauss, Manfred
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Manfred Schmidt-Schauß
H 指数: 22 · 论文数: 131
T
Temur Kutsia
H 指数: 13 · 论文数: 127
D
Daniele Nantes-Sobrinho
H 指数: 6 · 论文数: 48
已加载全部