FernUni
Fakultät Mathematik und Informatik
Algorithmen und Komplexität
Abschlussarbeiten
Grundlagen und Verfahren des automatischen...
Inhalt
Navigation
Rubriken
Funktionen
Lehrgebiet
Startseite
Team
Kontakt
Studium
Kursangebot
Prüfungen
Abschlussarbeiten
Forschung
Profil
Veröffentlichungen
aktuelles
FernUni spezial
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