Information from Deduction: Models and Proofs
Dagstuhl Reports. Bd. 5. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015 S. 18 - 37
Erscheinungsjahr: 2015
ISBN/ISSN: 2192-5283
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.4230/DagRep.5.9.18
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Bjorner, Nikolaj (Herausgeber)
Blanchette, Jasmin Christian (Herausgeber)
Weidenbach, Christoph (Herausgeber)
