Sarah WINKLER

Projekt-Nummer
T-789

Projekt-Titel
Instanziierungs- und lernbasierte Methoden im automatischen Gleichheitsbeweisen

Forschungsstätte
Universität Innsbruck
Institut für Informatik

Laufzeit
01.10.2016 bis 30.09.2019

Zurück zur Übersicht