Browse Dissertations and Theses - Computer Science by Author "Hammerslag, David H."

  • Hammerslag, David H. (1984-12)
    As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and ...


    application/pdfPDF (23MB)Restricted to U of Illinois