Stefan SZEIDER

Projekt-Nummer
J-2111

Projekt-Titel
Homomorphismen und Aussagenlogische Beweise

Forschungsstätte
University of Toronto
Department of Computer Science

Laufzeit
01.05.2002 bis 31.05.2003

Projekt-Nummer
J-2295

Projekt-Titel
Homomorphismen und Aussagenlogische Beweise

Forschungsstätte
University of Toronto
Department of Computer Science

Laufzeit
01.06.2003 bis 30.04.2004

Zurück zur Übersicht