Real theorem provers deserve real user-interfaces
- 1 November 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 17 (5) , 120-129
- https://doi.org/10.1145/142882.143760
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- CAS/PIPublished by Association for Computing Machinery (ACM) ,1992
- The SECD MicroprocessorPublished by Springer Nature ,1992
- The calculus of context relationsActa Informatica, 1991
- A distributed architecture for programming environmentsACM SIGSOFT Software Engineering Notes, 1990
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- The Synthesizer GeneratorPublished by Springer Nature ,1989