Files in this item

FilesDescriptionFormat

application/pdf

application/pdfHammerslag1984.pdf (23MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:TED: A tree editor with applications for theorem proving
Author(s):Hammerslag, David H.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:M.S. (master's)
Genre:Thesis
Subject(s):TED
Tree editor
Theorem proving
Structure editing
Proof management systems
Abstract: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 other tools to facilitate proof management. This thesis describes the tree editor and its use in the theorem proving application as well as other applications.
Issue Date:1984-12
Series/Report:Report No. UIUCDCS-R-84-1190
Genre:Dissertation / Thesis
Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/95781
Sponsor:NASA grant NAG 1-138
Rights Information:Copyright 1984 David H. Hammerslag
Date Available in IDEALS:2017-03-28


This item appears in the following Collection(s)

Item Statistics