Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic

Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
复制标题

使用程序逻辑形式化假设检验中的统计信念

DOI：
10.24963/kr.2021/39
复制
发表时间：
2021
期刊：
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
通讯作者：
Suenaga Kohei
Suenaga Kohei
中科院分区：
--
文献类型：
--
作者：
Kawamoto Yusuke;Sato Tetsuya;Suenaga Kohei

文献摘要

相似文献