Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=950968544
Link zu diesem Datensatz | https://d-nb.info/950968544 |
Art des Inhalts | Hochschulschrift |
Titel | Implizite und explizite Induktionsbeweisverfahren / Stefan Gerberding |
Person(en) | Gerberding, Stefan (Verfasser) |
Verlag | Sankt Augustin : Infix |
Zeitliche Einordnung | Erscheinungsdatum: 1997 |
Umfang/Format | 279 S. ; 21 cm |
Hochschulschrift | Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997 |
ISBN/Einband/Preis |
978-3-89601-159-6 kart. : DM 60.00, sfr 54.50, S 438.00 3-89601-159-6 kart. : DM 60.00, sfr 54.50, S 438.00 |
Beziehungen | Dissertationen zur künstlichen Intelligenz ; Bd. 159 |
Schlagwörter | Induktionsbeweis ; Automatisches Beweisverfahren |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.