Logo - Fakultät für Mathematik und Informatik Illustration

Diplomarbeit

Illustration

Einführung und Diskussion des Downarrow-Operators in der hybriden Logik für Teilmengenräume

Betreuer/in: Bernhard Heinemann
Status: abgeschlossen
Jahr: 2010
Bernhard Heinemann | 19.10.2015
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823