Search Results
Searching for:- Author=David Abraham
 Edit Search |  New Search |
One paper matched
Sorting by Relevance | Date | Popularity | Publication
A tool to practice formal proofs
World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA) 2001:1 , 2001
World Conference on Educational Multimedia, Hypermedia and Telecommunications (EDMEDIA) 2001:1 , 2001
This paper presents a Logic Tutor, a tool to support computer science students in their learning
of logic, more specifically in their learning of formal proofs. The current tool is equipped with a deduction
system for propositional logic. However...
The search engine has recently been updated. If you prefer you may use the old search engine.