Article
30 November 1997
Published
Springer
0934-5043
QA Mathematics
511 General principles of mathematics
Lowe, H., Jackson, M. & Benyon, D. (1997). Design rational for semi-automated theorem provers. Formal Aspects of Computing.. ISSN 0934-5043
ProfessorSchool of Computing
0131 455 2736
d.benyon@napier.ac.uk
Theorem provers; semi-automation; design; user interfaces;