An integrated development environment for probabilistic relational reasoning.
Saved in:
| Title: | An integrated development environment for probabilistic relational reasoning. |
|---|---|
| Authors: | Finthammer, Marc1, Thimm, Matthias2 |
| Source: | Logic Journal of the IGPL; Oct2012, Vol. 20 Issue 5, p831-871, 41p |
| Database: | Applied Science & Technology Source |
| ISSN: | 13670751 |
|---|---|
| DOI: | 10.1093/jigpal/jzs009 |