Sciweavers

IWC   2000
Wall of Fame | Most Viewed IWC-2000 Paper
IWC
2000
106views more  IWC 2000»
14 years 8 days ago
An analysis of errors in interactive proof attempts
The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of rese...
J. Stuart Aitken, Thomas F. Melham
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source106
2Download preprint from source99
3Download preprint from source94
4Download preprint from source82
5Download preprint from source81
6Download preprint from source79
7Download preprint from source64
8Download preprint from source51
9Download preprint from source43
10Download preprint from source37