Reasoning with Conditional Probabilities and Joint Distributions in Coq
In: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 37 (2020-08-01), Heft 3, S. 79-95
Online
academicJournal
Zugriff:
Titel: |
Reasoning with Conditional Probabilities and Joint Distributions in Coq
|
---|---|
Autor/in / Beteiligte Person: | Affeldt, Reynald ; Garrigue, Jacques ; 隆文, 才川 |
Link: | |
Zeitschrift: | コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編, Jg. 37 (2020-08-01), Heft 3, S. 79-95 |
Veröffentlichung: | 2020 |
Medientyp: | academicJournal |
ISSN: | 0289-6540 |
Sonstiges: |
|