Details
- Autor(en) / Beteiligte
- Titel
- Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion
- Erscheinungsjahr
- 1990
- Beschreibungen/Notizen
- Karlsruhe, Techn. Hochsch., Diss., 1990
- Sprache
- –
- Identifikatoren
- OCLC-Nummer: 889247390, 889247390Titel-ID: 990005856820106463
- Format
- III, 165 S. : graph. Darst.
- Systemstelle
- TZC