DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data: (incl. documentation)
Saved in:
Bibliographic Details
Main Authors: Jakobi, Peter (Author), Wolf, Andreas (Author)
Format: Book
Language:German
Published: München TUM, SFB 342 1997
Series:Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] 1997,28
Physical Description:27 S. graph. Darst.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!