科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
J
Julia F. Knight
university of notre dame
20
H指数
157
论文数
1.9K
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
COMPUTABLE Π2 SCOTT SENTENCES
可计算的 Π2 斯科特句子
Journal of Symbolic Logic
IF
0.6
2026-02-01
0
PRE
AI
Knight, Julia; Lange, Karen; Mccoy, Charles
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
K
Karen Lange
H 指数: 7 · 论文数: 36
C
Charles McCoy
H 指数: 0 · 论文数: 2
已加载全部