INSPIRING FUTURES

Browse by Author

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Article

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

Book Section

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.

This list was generated on Sat Aug 30 19:31:02 2014 IST.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373