DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data: (incl. documentation)
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Jakobi, Peter (VerfasserIn), Wolf, Andreas (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München TUM, SFB 342 1997
Schriftenreihe:Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] 1997,28
Beschreibung:27 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!