科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
S
Shing Hin Ho
imperial college london
1
H指数
4
论文数
2
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Bayesian Separation Logic A Logical Foundation and Axiomatic Semantics for Probabilistic Programming
贝叶斯分离逻辑:概率编程的逻辑基础与公理语义
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Ho, Shing Hin; Wu, Nicolas; Raad, Azalea
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
A
Azalea Raad
H 指数: 18 · 论文数: 65
N
Nicolas Wu
H 指数: 0 · 论文数: 6
已加载全部