Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=930166140
Treffer 1 von 1
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/930166140 |
| Art des Inhalts | Hochschulschrift |
| Titel | Komplexitätstheoretische Untersuchungen zur Temporallogik |
| Person(en) | Wagner, Hubert (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 1992 |
| Umfang/Format | [6], 172 S. : graph. Darst. ; 30 cm |
| Hochschulschrift | Dortmund, Univ., Diss., 1992 |
| Sprache(n) | Deutsch (ger) |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: H 92b/6739
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: Di 1992 B 5877
Bereitstellung in Leipzig |
Treffer 1 von 1