Stefan SZEIDER

project number
J-2111

project title
Homomorphismen und Aussagenlogische Beweise

research place
University of Toronto
Department of Computer Science

duration
01.05.2002 to 31.05.2003

project number
J-2295

project title
Homomorphismen und Aussagenlogische Beweise

research place
University of Toronto
Department of Computer Science

duration
01.06.2003 to 30.04.2004

back to overview