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

Abgeschlossene Abschlussarbeiten

Jahr  
Alle :: 1994, 1995, 1996, 1997, ... , 2016

6.
default
Arnold, Rainer
Dynamische Strukturmodellierung - ein objektorientierter Ansatz für diskret ereignisorientierte Simulationen
Diploma Thesis
Ulm University,
1995
5.
default
Pfeifer, Holger
Eine reflexive Architektur zur Darstellung von Beweis- und Softwareentwicklungsschritten in Typtheorie
Diploma Thesis
Ulm University,
1995
4.
default
Wagner, Matthias
Entwicklung und Implementierung eines Beweisers für konstruktive Logik
Diploma Thesis
Ulm University,
1995
3.
default
Herbst, Joachim
Gestaltung von Geschäftsprozessen: Ein induktiver Lernansatz zur Generierung von heuristischem Wissen aus Simulationsdaten
Diploma Thesis
Ulm University,
1995
2.
default
Luther, Marko
Wissensbasierte Methoden zur Beweisunterstützung in Typentheorie
Diploma Thesis
Ulm University,
1995
Export als: BibTeX, XML