Browse Dept. of Computer Science by Subject "TED"

  • 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