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 9
    Datensatz exportieren als...
  • BibTeX
The presentation of formal proofs
GMD-Berichte : 278 (Alle Bände)
1997
Signatur: TUF1018-278

Details

Autor(en) / Beteiligte
Titel
The presentation of formal proofs
Ist Teil von
Ort / Verlag
München [u.a.] : Oldenbourg
Erscheinungsjahr
1997
Beschreibungen/Notizen
  • Zsfassung in dt. u. engl. Sprache
  • Berlin, Techn. Univ., Diss., 1996
Sprache
Englisch
Identifikatoren
ISBN: 3486242628
OCLC-Nummer: 845390721, 845390721
Titel-ID: 990007228590106463
Format
169 S. : graph. Darst.
Systemstelle
TUF
Schlagworte
Automatisches Beweisverfahren, Formalisierung

Lade weitere Informationen...