Browse by Author
Group by: Item Type | No Grouping
Number of items: 3.
Lowe, Helene, Jackson, Mike and Benyon, David (1998) Design rational for semi-automated theorem provers. Submitted to Formal Aspects of Computing (Special Issue on User Interfaces for Theorem Provers). ISSN 0934 5043
Jackson, Mike, Benyon, David and Lowe, Helene (2004) Using ERMIA for the Evaluation of a Theorem Prover Interface. In: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers. UITP, Eindhoven, Holland, pp. 104-111.
Lowe, Helene, Cumming, Andrew, Smyth, Michael and Varey, Alison (1996) Lessons from experience: making theorem provers more co-operative. In: Proceedings of the Second Workshop on User Interfaces for Theorm Provers. University of York, York, UK, pp. 67-74.