We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via webform.

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