Sämtliche Arbeiten können als Ausdruck in der Universitätsbibliothek eingesehen werden.

Completed Thesis

Author


All :: A, B, D, E, F, G, H, J, K, L, M, N, O, P, R, S, T, V, W
   

Preferences

Show keywords Show abstracts

52.
default
Wilhelm, Sebastian
Konzeption und Implementierung eines semantisch vernetzten Nachrichtenportals
Diploma Thesis
Ulm University,
2008
51.
default
Laib, Florian
Adaption und Integration einer Erklärungskomponente in das Ontologiewerkzeug OntoTrack
Bachelor Thesis
Ulm University,
2007
50.
default
Müller, Felix
Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für Beschreibungslogiken
Diploma Thesis
Ulm University,
2007
49.
default
Lambertz, Julian
Erklärung und Korrektur von Nicht-Subsumtion in Ontologien
Diploma Thesis
Ulm University,
2007
48.
default
Gröner, Gerd
Formalisierung und Analyse von Zugriffsberechtigungen in PVS
Diploma Thesis
Ulm University,
2007
47.
default
Scheele, Stephan
Tableaubasierte Ableitung und Erklärung von Subsumtionsbeziehungen
Master Thesis
Ulm University,
2007
46.
default
Schmidt, Patrick
Portierung einer Anwendung zur Selektion von Diensten auf ein mobiles Endgerät
Diploma Thesis
Ulm University,
2006
45.
default
Michel, Sebastian
Semantikgestützte, benutzerorientierte Dokumentensuche
Diploma Thesis
Ulm University,
2006
44.
default
Grether, Dominik
Semantische Annotation und Deduktion in Geoinformationssystemen
Diploma Thesis
Ulm University,
2006
43.
default
Halfmann, Michael
Entwicklung einer Erklärungskomponente für tablauxbasierte Subsumtionsbeweise
Diploma Thesis
Ulm University,
2005
Export as: BibTeX, XML