Browse Dept. of Computer Science by Subject "TED"
Now showing items 1-1 of 1
(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 ...