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...

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...