Browse Dissertations and Theses - Computer Science by Series/Report "Report No. UIUCDCS-R-84-1190"

  • 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/pdf

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