[Back]


Diploma and Master Theses (authored and supervised):
P. Seidelmann:
"Investigations on Intuitionistic Logic and Modal Logic";
Supervisor: U. Egly; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2007; final examination: 2007-12-19.

Created from the Publication Database of the Vienna University of Technology.