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 20 von 668
    Datensatz exportieren als...
  • BibTeX
Rechnerunterstützung formaler Beweissprachen
Berichte der Gesellschaft für Mathematik und Datenverarbeitung : 244 (Alle Bände)
1995
Signatur: TUF1018-244

Details

Autor(en) / Beteiligte
Titel
Rechnerunterstützung formaler Beweissprachen
Ist Teil von
Ort / Verlag
München [u.a.] : Oldenbourg
Erscheinungsjahr
1995
Beschreibungen/Notizen
  • Berlin, Techn. Univ., Diss., 1995
Sprache
Deutsch
Identifikatoren
ISBN: 3486233963
OCLC-Nummer: 722845733, 722845733
Titel-ID: 990006808220106463
Format
XII, 162 S. : graph. Darst.
Systemstelle
TUF
Schlagworte
Automatisches Beweisverfahren, Formale Sprache, Graphische Benutzeroberfläche

Lade weitere Informationen...