Formalisierung der Beweistheorien

01.01.2016 - 31.12.2016
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • OeAD Österr.Austauschdienst GmbH Geschäftsstelle Wien (National) Österreichischer Austauschdienst (ÖAD) Fördergeber Typ Forschungsförderungsinstitutionen Ausschreibungskennung 92öu14

Forschungsschwerpunkte

  • Computational Science and Engineering