Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=945156189
Link zu diesem Datensatz | https://d-nb.info/945156189 |
Art des Inhalts | Hochschulschrift |
Titel | Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen / Jürgen Giesl |
Person(en) | Giesl, Jürgen (Verfasser) |
Verlag | Sankt Augustin : Infix |
Zeitliche Einordnung | Erscheinungsdatum: 1995 |
Umfang/Format | 306 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995 |
ISBN/Einband/Preis |
978-3-89601-096-4 kart. : DM 48.00 3-89601-096-4 kart. : DM 48.00 |
Beziehungen | Dissertationen zur künstlichen Intelligenz ; Bd. 96 |
Schlagwörter | Algorithmus ; Terminierung <Informatik> ; Automatisches Beweisverfahren |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
Frankfurt |
Signatur: 1996 A 2420
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1996 A 2420
Bereitstellung in Leipzig |