• W2 Professur formalisierte Mathematik und Computer unterstütztes Beweisen

    Universität Bonn
    Bonn