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 22 von 280
    Datensatz exportieren als...
  • BibTeX
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)
1991
Signatur: M5753

Details

Autor(en) / Beteiligte
Titel
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Ist Teil von
Ort / Verlag
Frankfurt am Main [u.a.] : Lang
Erscheinungsjahr
1991
Beschreibungen/Notizen
  • Karlsruhe, Univ., Diss., 1991
Sprache
Deutsch
Identifikatoren
ISBN: 3631440014
OCLC-Nummer: 636511796, 636511796
Titel-ID: 990005871260106463
Format
107 S. : graph. Darst.
Systemstelle
TVM
Schlagworte
Automatisches Beweisverfahren

Lade weitere Informationen...