Research Output

Design rational for semi-automated theorem provers.

 

  • Type:

    Article

  • Date:

    30 November 1997

  • Publication Status:

    Published

  • Publisher

    Springer

  • ISSN:

    0934-5043

  • Library of Congress:

    QA Mathematics

  • Dewey Decimal Classification:

    511 General principles of mathematics

Citation

Lowe, H., Jackson, M. & Benyon, D. (1997). Design rational for semi-automated theorem provers. Formal Aspects of Computing.. ISSN 0934-5043

Authors

Keywords

Theorem provers; semi-automation; design; user interfaces;

Available Documents