Participant List : Druckversion


10. – 15. September 2017, Dagstuhl-Seminar 17371
Letzte Aktualisierung: 08. März 2018

Deduction Beyond First-Order Logic

Participants



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

Participant List : Letzte Änderung 23.11.2019, 00:16 Uhr