• FernUni
• Fakultät Mathematik und Informatik
• Algorithmen und Komplexität
• Abschlussarbeiten
• Grundlagen und Verfahren des automatischen...

• Inhalt
• Navigation
• Rubriken
• Funktionen

• Startseite
• Team
• Kontakt

• Kursangebot
• Prüfungen
• Abschlussarbeiten

• Profil
• Veröffentlichungen

• Virtueller Studienplatz
• Kontakt/ A-Z
• Impressum/ Datenschutz

Diplomarbeit

Grundlagen und Verfahren des automatischen Beweisens für modale Logiken

Betreuer/in:	Bernhard Heinemann
Status:	abgeschlossen
Jahr:	2005

Bernhard Heinemann | 19.10.2015

• © FernUniversität in Hagen

FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823