Deduction Beyond First-Order Logic
Dagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46
Erscheinungsjahr: 2017
ISBN/ISSN: 2192-5283
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.4230/DagRep.7.9.26
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Blanchette, Jasmin Christian (Herausgeber)
Fuhs, Carsten (Herausgeber)
Tinelli, Cesare (Herausgeber)
