| Zappe, Julia (2005): Towards a Mobile Temporal Logic of Actions. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Zappe_Julia.pdf 660kB |
DOI: 10.5282/edoc.5203
| Dokumententyp: | Dissertationen (Dissertation, LMU München) |
|---|---|
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik
500 Naturwissenschaften und Mathematik |
| Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
| Sprache der Hochschulschrift: | Englisch |
| Datum der mündlichen Prüfung: | 22. September 2005 |
| 1. Berichterstatter:in: | Kröger, Fred |
| MD5 Prüfsumme der PDF-Datei: | cccf993a4d8c42a3f10d8adf9d9c7205 |
| Signatur der gedruckten Ausgabe: | 0001/UMC 15315 |
| ID Code: | 5203 |
| Eingestellt am: | 08. May 2006 |
| Letzte Änderungen: | 24. Oct. 2020 09:35 |
Nur für Administratoren und Editoren: Dokument bearbeiten
