Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 16 von 75
    Datensatz exportieren als...
  • BibTeX
Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion
1990
Signatur: D5301

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, 889247390
Titel-ID: 990005856820106463
Format
III, 165 S. : graph. Darst.
Systemstelle
TZC

Lade weitere Informationen...