The EVES system
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 349-373
- https://doi.org/10.1007/3-540-56883-2_16
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Functional Programming, Concurrency, Simulation and Automated ReasoningPublished by Springer Nature ,1993
- Stanford Pascal Verifier User ManualPublished by Defense Technical Information Center (DTIC) ,1979
- A man-machine theorem-proving systemArtificial Intelligence, 1974