Design rational for semi-automated theorem provers.

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
Additional Information: C/T publication details LG/Mer 07/10/2013
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 15:48
Last Modified: 07 Oct 2013 14:41

Actions (login required)

View Item View Item

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