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 1 von 1
    Datensatz exportieren als...
  • BibTeX
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
2., verb. Aufl, 1991
Signatur: TCL3775(2)

Details

Autor(en) / Beteiligte
Titel
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
Auflage
2., verb. Aufl
Ort / Verlag
Braunschweig : Vieweg
Erscheinungsjahr
1991
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Literaturverz. S. 159 - 163
Sprache
Deutsch
Identifikatoren
ISBN: 3528147180
OCLC-Nummer: 75187631, 75187631
Titel-ID: 990005630230106463
Format
X, 172 S. : graph. Darst.
Systemstelle
TCO, TCL
Schlagworte
Automatisches Beweisverfahren

Lade weitere Informationen...