Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).
Dagstuhl Reports. Bd. 7. H. 9. 2017 S. 26 - 46
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.4230/DagRep.7.9.26
Geprüft | Bibliothek |
Autoren
Christian Blanchette, Jasmin (Autor)
Fuhs, Carsten (Autor)
Tinelli, Cesare (Autor)