Formalisierung der Beweistheorien

01.01.2016 - 31.12.2016
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungmittel

  • OeAD-GmbH - Agentur für Bildung und Internationalisierung (National) Österreichischer Austauschdienst (ÖAD) Ausschreibungskennung 92öu14

Forschungsschwerpunkte

  • Computer Science Foundations: 100%

Publikationen