Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)
Book title Buchtitel
Workshop on Constraint Based Methods for Bioinformatics 2011 (WCB 2011)
Editor Herausgeber_in
Publisher Herausgeber
Dipartimento di Matematica e Informatica, Universita degli Studi di Perugia
Place of publishing Erscheinungsort
Perugia, Italy
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Dal Palù, Alessandro ; Dovier, Agostino ; Formisano, Andrea | Declarative Merging of and Reasoning about Decision Diagrams | Konferenzbeitrag Inproceedings  | 2011 |