文献
J-GLOBAL ID:202002286356307998
整理番号:20A2640514
Coqにおける条件付き確率と結合分布による推論
Reasoning with Conditional Probabilities and Joint Distributions in Coq
著者 (3件):
AFFELDT Reynald
(National Institute of Advanced Industrial Science and Technology)
,
GARRIGUE Jacques
(Graduate School of Mathematics, Nagoya University)
,
SAIKAWA Takafumi
(Graduate School of Mathematics, Nagoya University)
資料名:
コンピュータソフトウェア
(Computer Software)
巻:
37
号:
3
ページ:
3_79-3_95(J-STAGE)
発行年:
2020年
JST資料番号:
Y0628A
ISSN:
0289-6540
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)