The Language of First-Order Logic, 1992. ,
Jape " (software) Unix/Linux version available from http ,
Animating Formal Proof at the Surface: The Jape Proof Calculator, The Computer Journal, vol.42, issue.3, 1996. ,
DOI : 10.1093/comjnl/42.3.177
Implementing a simple proof assistant, Workshop on Programming for Logic Teaching, 1987. ,
User interfaces in natural deduction programs, Ed.) Proceedings of the 4 th International Workshop on User Interface Design for Theorem Proving Systems, 1998. ,
Symbolic Logic, 1952. ,
Using Software Tools to Learn Formal Reasoning: a first assessment, CITE Report No, vol.168, 1992. ,
Computer science students perceptions of learning formal reasoning methods, International Journal of Mathematical Education in Science and Technology, vol.24, issue.5, pp.749-760, 1993. ,
DOI : 10.1145/102868.102870
Why computer science students find formal reasoning frightening, Journal of Computer Assisted Learning, vol.24, issue.5, pp.240-250, 1994. ,
DOI : 10.1016/0743-1066(88)90001-5
Computer tools to teach formal reasoning, Computers & Education, vol.27, issue.1, pp.59-69, 1996. ,
DOI : 10.1016/0360-1315(96)00016-4
Cognitive Dimensions of Notations, People and Computers V, pp.443-460, 1989. ,
Effective evaluation: improving the usefulness of evaluation results through responsive and naturalistic approaches, 1981. ,
Cognitive Dimensions Analysis of Theorem Provers, Proceedings of the 3 rd International Workshop on User Interface Design for Theorem Proving Systems, 1997. ,
The Carnegie Mellon Proof Tutor) 101 Success Stories of Information Technology in Higher Education: The Joe Wyatt Challenge, 1993. ,