Veranstaltungen des Instituts für Mathematik und Informatik




Deduktionstreffen 2022

The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the…

Termin anzeigen

  • 1