01 January 1996
Published
QA75 Electronic computers. Computer science
004 Data processing & computer science
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995). Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
TRACKER OfficerSchool of Computing Engineering and the Built Environment
0131 455 2753
A.Cumming@napier.ac.uk
ProfessorSchool of Computing Engineering and the Built Environment
0131 455 2733
M.Smyth@napier.ac.uk
Senior LecturerSchool of Computing
0131 455 2725
a.varey@napier.ac.uk
co-operative theorem proving system; user; automaton; semi-automated theorem proving system; evaluation;
71KB