Goal oriented equational theorem proving using team work
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 343-354
- https://doi.org/10.1007/3-540-58467-6_30
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- MacNOTIS user interface development and testLibrary Hi Tech, 1994
- OTTER 3.0 reference manual and guidePublished by Office of Scientific and Technical Information (OSTI) ,1994
- Automated proofs of equality problems in Overbeek's competitionJournal of Automated Reasoning, 1993