SUGGESTED IMPROVEMENTS TO THE m-EVES PROVER
- Authors
- Corporate Authors
- Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
- Abstract
- The paper suggests certain improvements to the m-EVES theorem proving system. The suggestions originate in our experience with m-EVES. It is essential that this paper be read in the context of what m-EVES is: that is, a prototype for a theorem proving system, EVES, intended to accompany the yet to be defined Verdi language. m-EVES has more than fulfilled its prototypical goals. The comments in this paper are expressed in the hope that they may prove useful in the development of EVES.
- Date of publication
- 15 Feb 1988
- Number of Pages
- 9
- DSTKIM No
- 90-04402
- CANDIS No
- 66642
- Format(s):
- Hardcopy;Originator's fiche received by DSIS
Document 1 of 1
- Date modified: