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
    Datensatz exportieren als...
  • BibTeX
Vergleichende Analyse von Inferenzsystemen
GMD-Bericht : 188 (Alle Bände)
1990
Signatur: TUF1018-188

Details

Autor(en) / Beteiligte
Titel
Vergleichende Analyse von Inferenzsystemen
Ist Teil von
Ort / Verlag
München [u.a.] : Oldenbourg
Erscheinungsjahr
1990
Beschreibungen/Notizen
  • Karlsruhe, Univ., Diss., 1990
Sprache
Deutsch
Identifikatoren
ISBN: 3486217798
OCLC-Nummer: 722115232, 722115232
Titel-ID: 990005559700106463
Format
151 S. : graph. Darst.
Systemstelle
TUF
Schlagworte
Deduktionssystem, Suchverfahren, Komplexität, Automatisches Beweisverfahren

Lade weitere Informationen...