当前位置:
X-MOL 学术
›
Log. J. IGPL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
A proof-search system for the logic of likelihood
Logic Journal of the IGPL ( IF 0.6 ) Pub Date : 2020-03-12 , DOI: 10.1093/jigpal/jzaa003 R Alonderis 1 , H Giedra 1
Logic Journal of the IGPL ( IF 0.6 ) Pub Date : 2020-03-12 , DOI: 10.1093/jigpal/jzaa003 R Alonderis 1 , H Giedra 1
Affiliation
A proof-search system for the logic of likelihood
中文翻译:
似然逻辑的证明搜索系统
似然逻辑的证明搜索系统
更新日期:2020-03-12
中文翻译:
似然逻辑的证明搜索系统
似然逻辑的证明搜索系统