An integrated development environment for probabilistic relational reasoning
Logic Journal of the IGPL. Bd. 20. H. 5. Oxford: Oxford University Press 2012 S. 831 - 871
Erscheinungsjahr: 2012
ISBN/ISSN: 1368-9894
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1093/jigpal/jzs009
| Geprüft | Bibliothek |
Autoren
Finthammer, Marc (Autor)
Thimm, Matthias (Autor)
