Conditioning in Probabilistic Programming

New York, NY / Association for Computing Machinery (2017, 2018) [Fachzeitschriftenartikel]

ACM transactions on programming languages and systems : ACM TOPLAS
Band: 40
Ausgabe: 1
Seite(n): 4

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Olmedo, Federico
Gretz, Friedrich
Jansen, Nils
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter

Weitere Autorinnen und Autoren

Mciver, Annabelle

Identifikationsnummern