Tools
Tools
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
Full text not available from this repository. (Request a copy)| Item Type: | Article |
|---|---|
| Print ISSN: | 0934-5043 |
| Electronic ISSN: | 1433-299X |
| Uncontrolled Keywords: | Theorem provers; semi-automation; design; user interfaces; |
| University Divisions/Research Centres: | Faculty of Engineering, Computing and Creative Industries > School of Computing |
| Dewey Decimal Subjects: | 500 Science > 510 Mathematics > 511 General principles of mathematics |
| Library of Congress Subjects: | Q Science > QA Mathematics |
| Item ID: | 3069 |
| Depositing User: | Computing Research |
| Date Deposited: | 06 Oct 2010 16:48 |
| Last Modified: | 06 Oct 2010 16:48 |
| URI: | http://researchrepository.napier.ac.uk/id/eprint/3069 |
Actions (login required)
| View Item |