EXAMENSARBEITEN

2
20) Benjamin Benninghofen: Über NIchtstandard Methoden und Monaden. Dipl.-Arbeit,
Aachen, 1982.
21) Klaus Dittrich: Über Vervollständigungsalgorithmen von Reduktionssystemen und ihre
Implementierung. Dipl.-Arbeit, Aachen, 1982.
22) Monika Barth: Untersuchungen über Reduktionssysteme und den Todd-Coxeter-
Algorithmus. Dipl.-Arbeit, Aachen, 1983.
23) Lutz Felsberg: Bildgebung in der Kernspintomographie. Dipl.-Arbeit,, Aachen, 1983.
24) Alfred Winter: Eine relationale Datenbank zur Abbildung von anatomischen Strukturen in
einem diskreten dreidimensionalen Raum. Dipl.-Arbeit, Aachen, 1984.
25) Toms-R. Beske: Anwendung von Reduktionssystemen auf Gruppen mit
polynomialemWachstum geringen Grades. Dipl.-Arbeit, Aachen, 1985.
26) Heinrich Reusch: Beschreibung und Implementierung der Grundstruktur eines Experten-
Systems. Dipl.-Arbeit, Aachen, 1985.
27) Peter Heinen: Informelle Schlußweisen auf verschiedenen Abstraktionsniveaus in einem
medizinischen Expertensystem: Konzepte und Implementierung. Dipl.-Arbeit, Aachen,
1985.
28) Hermann-Josef Kirschbaum: Entwicklung und Verifikation einer Fließkommaarithmetik
für Mikrocomputer mit Z80 Prozessor am Beispiel der Multiplikation. Dipl.-Arbeit,
Aachen, 1985.
29) Constantin Thiopoulos: Realisierbarkeit und Informationssysteme. Dipl.-Arbeit, Aachen,
1985.
30) Bernd Mecking: Ein System zur Verwaltung von NMR-Daten im Hinblick auf eine
Diagnoseunterstützung. Dipl.-Arbeit, Aachen, 1985.
31) Birgit Breuer: Bildgebungsverfahren durch Auswertung experimenteller Daten mit
mehreren Parametern. Dipl.-Arbeit, Aachen 1985.
32) Peter Spieker: Eine Schnittstelle zwischen PROLOG und dem IDM-DatenbankRechner.
Dipl.-Arbeit, Aachen, 1985.
33) Gerd Broszio: Numerische Auswertung von Magnetisierungsmeßreihen unter dem
Aspekt der NMR-Bilderzeugung. Dipl.-Arbeit, Aachen, 1985.
34) Thuyet Mai Romberg: Untersuchungen über die Eignung von Expertensystemen für
umformtechnische Probleme unter der Berücksichtigung des Programmsystems
GOSSEYN. Dipl.-Arbeit, Aachen, 1985.
35) Erich Gehlen: Strukturierung und Repräsentation von Wissen dargestellt an
ausgewählten Aspekten der Lagerplanung. Dipl.-Arbeit, Aachen, 1985.
36) Toni Anwar: Verfeinerungen der symbolischen Darstellung von Reduktionen und ihre
Benutzung bei der Implementierung des Knuth-Bendix-Vervollständigungsalgorithmus in
einer funktionalen Programmiersprache. Dipl.-Arbeit, Aachen, 1985.
37) Klaus Nökel: SASL: Implementierung einer Reduktionsmaschine und Steuerung und
Organisation eines Beweissystems für eine Logik. Dipl.-Arbeit, Aachen, 1985.