Beweistheorie mittels beschränkter Sequenzialkalküle Projektnummer P 33548 Einzelprojekte ProjektleiterIn Kuratoriumssitzung 30.06.2020 Projekt-Details
