Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=901205257
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/901205257 |
Art des Inhalts | Hochschulschrift |
Titel | Zur temporalen Logik von Bäumen / Bernd-Holger Schlingloff. Inst. für Informatik d. Techn. Univ. München |
Person(en) | Schlingloff, Bernd-Holger (Verfasser) |
Verlag | München : Bibliothek d. Fak. für Mathematik u. Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 1990 |
Umfang/Format | 189 S. ; 21 cm |
Hochschulschrift | Zugl.: München, Techn. Univ., Diss., 1990 |
ISBN/Einband/Preis | kart. |
Identifikationsnummern | Reportnummer: TUM I 9012 |
Sprache(n) | Deutsch (ger) |
Anmerkungen | Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: D 90/18556
Bereitstellung in Frankfurt |
Leipzig |
Signatur: SA 27568-9012
Bereitstellung in Leipzig |
