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
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