Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=910727090
Link zu diesem Datensatz | https://d-nb.info/910727090 |
Art des Inhalts | Hochschulschrift |
Titel | Transformation and structuring of computer generated proofs |
Person(en) | Lingenfelder, Christoph (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 1990 |
Umfang/Format | VI, 115 S. : graph. Darst. ; 21 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Transformation and Structuring of Computer Generated Proofs |
Hochschulschrift | Kaiserslautern, Univ., Diss., 1990 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: H 91/3114
Bereitstellung in Frankfurt |
Leipzig |
Signatur: Di 1991 A 5384
Bereitstellung in Leipzig |