Beweistheoretische Analyse modaler Logiken

01.05.2015 - 30.04.2017
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • European Commission (EU)

Forschungsschwerpunkte

  • Computational Science and Engineering