| Kuebler, Martin (2005): Zwei Gedanken zur hoeherstufigen Unifikation: Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Kuebler_Martin.pdf 587kB |
DOI: 10.5282/edoc.4829
| Dokumententyp: | Dissertationen (Dissertation, LMU München) |
|---|---|
| Themengebiete: | 500 Naturwissenschaften und Mathematik
500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
| Sprache der Hochschulschrift: | Deutsch |
| Datum der mündlichen Prüfung: | 20. Dezember 2005 |
| 1. Berichterstatter:in: | Schwichtenberg, Helmut |
| MD5 Prüfsumme der PDF-Datei: | c4e360e326d2e8fc7b732365e6b62851 |
| Signatur der gedruckten Ausgabe: | 0001/UMC 15161 |
| ID Code: | 4829 |
| Eingestellt am: | 07. Feb. 2006 |
| Letzte Änderungen: | 24. Oct. 2020 09:47 |
Nur für Administratoren und Editoren: Dokument bearbeiten
