Helene Lowe
Design rational for semi-automated theorem provers.
Lowe, Helene; Jackson, Mike; Benyon, David
Authors
Mike Jackson
David Benyon
Citation
Lowe, H., Jackson, M., & Benyon, D. (1998). Design rational for semi-automated theorem provers. Formal Aspects of Computing,
| Journal Article Type | Article |
|---|---|
| Publication Date | 1998 |
| Deposit Date | Oct 6, 2010 |
| Print ISSN | 0934-5043 |
| Electronic ISSN | 1433-299X |
| Publisher | BMC |
| Peer Reviewed | Peer Reviewed |
| Keywords | Theorem provers; semi-automation; design; user interfaces; |
| Public URL | http://researchrepository.napier.ac.uk/id/eprint/3069 |
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search