Michael FÄRBER

Projekt-Nummer
J-4386

Projekt-Titel
Stärkere Beweisautomatisierung via nichtklausale Beweissuche

Forschungsstätte
Vrije Universiteit Amsterdam
Department of Computer Science

Laufzeit
01.10.2020 bis 30.09.2023

Zurück zur Übersicht