10. – 15. September 2017, Dagstuhl Seminar 17371
Letzte Aktualisierung: 25. September 2017

Deduction Beyond First-Order Logic

Participants



Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner