2 papers matched
Sorting by Relevance
A tool to practice formal proofs World Conference on Educational Multimedia, Hypermedia and Telecommunications(EDMEDIA)2001:1
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...